<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>АОТ :: Технологии :: Диссертация А.Сокирко... :: Глава 1. Обзор литературы</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="../../aot.css" rel="stylesheet" type="text/css">
</head>

<body bgcolor="#F3F3F3" text="#000000" link="#000000" vlink="#999999" alink="#000000">
<a name="top"></a>
<table border="0" align="center" cellpadding="1" cellspacing="0">
  <tr>
    <td bgcolor="#666666"><table width="760" border="0" cellpadding="0" cellspacing="0" bgcolor="#FFFFFF">
        <tr>
          <td><table border="0" cellspacing="0" cellpadding="5">
              <tr>
                <td width="30">&nbsp;</td>
                <td><font size="+7" face="Arial, Helvetica, sans-serif"><b>АОТ</b></font></td>
                <td width="40">&nbsp;</td>
                <td valign="baseline"><font size="+1" face="Arial, Helvetica, sans-serif"> Автоматическая  Обработка  Текста</font></td>
              </tr>
            </table>
            <table width="720" border="0" align="center" cellpadding="0" cellspacing="0" bgcolor="#000000">
              <tr>
                <td height="4"><img src="../../images/transparent.gif" width="1" height="4"></td>
              </tr>
            </table>
            <table width="760" border="0" cellpadding="0" cellspacing="0">
              <tr>
                <td valign="top"><table border="0" cellspacing="0" cellpadding="20">
                    <tr>
                      <td class="text">
                        <p align="center"><font size="-1" face="Arial, Helvetica, sans-serif"><a href="/index.html">главная</a> <a href="/history.html">о&nbsp;нас</a> <a href="/product.html">продукты</a> <a href="/download.shtml">скачать</a> <a href="/onlinedemo.html">&nbsp;демо</a> <a href="/technology.html"><b>технологии</b></a>  <a href="#top" title="наверх">^</a></font></p>
                        <table width="720" border="0" cellpadding="3" cellspacing="0" bgcolor="#CCCCCC">
                          <tr>
                            <td class="titleblack">Диссертация А.Сокирко &quot;Семантические словари в автоматической обработке текста (по материалам системы ДИАЛИНГ)&quot;</td>
                          </tr>
                        </table>
                        <table width="720" border="0" align="center" cellpadding="0" cellspacing="0">
                          <tr>
                            <td height="7"><img src="../../images/transparent.gif" width="1" height="7"></td>
                          </tr>
                          <tr>
                            <td height="2" bgcolor="#000000"><img src="../../images/transparent.gif" width="1" height="2"></td>
                          </tr>
                          <tr>
                            <td height="7"><img src="../../images/transparent.gif" width="1" height="7"></td>
                          </tr>
                        </table>
                        <p><a href="sokirko-candid-1.html">Введение</a></p>
                        <p><a href="sokirko-candid-2.html"><b>Глава 1. Обзор литературы</b></a></p>
                        <p>&nbsp;&nbsp;<a href="#2-1">I. Некоторые логико-философские исследования</a></p>
                        <p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-1-1">Универсальный язык И.Ньютона</a></p>
                        <p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-1-1">Lingua Mentalis Г.Лейбница</a></p>
                        <p>&nbsp;&nbsp;<a href="#2-2">II. Семантический анализ и семантические словари</a></p>
                        <p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-2-1">Link Grammar Parser (LinkParser)</a></p>
                        <p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-2-2">Формальная семантика</a></p>
						<p>&nbsp;&nbsp;<a href="#2-3">Проект Микрокосмос</a></p>
						<p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-3-1">Онтология Микрокосмос</a></p>
						<p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-3-2">Реализация концептов в тексте</a></p>
						<p>&nbsp;&nbsp;&nbsp;&nbsp;<a href="#2-3-3">Микротеория прилагательных</a></p>
						<p>&nbsp;&nbsp;<a href="#2-4">Генеративный лексикон</a></p>
						<p>&nbsp;&nbsp;<a href="#2-5">Система Artwork</a></p>
						<p>&nbsp;&nbsp;<a href="#2-6">Система UNL (Universal Networking Language)</a></p>
						<p>&nbsp;&nbsp;<a href="#2-7">Система ФРАП</a></p>
                        <p>&nbsp;</p>
                        <p><a href="sokirko-candid-3.html">Глава 2. Досемантический анализ русского текста</a></p>
                        <p><a href="sokirko-candid-4.html">Глава 3. Первичный семантический анализ русского текста</a></p>
                        <p><a href="sokirko-candid-5.html">Глава 4. Синтез английского текста</a></p>
                        <p><a href="sokirko-candid-6.html">Заключение</a></p>
                        <p><a href="sokirko-candid-7.html">Литература</a></p>
                        <p><a href="sokirko-candid-8.html">Выступление на защите</a></p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td class="titleblack"><a name="2"></a>Глава 1. Обзор литературы</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <br>
                        <br>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-1"></a></td>
                            <td class="titleblack">I. Некоторые логико-философские
                          исследования</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <br>
                        <br>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-1-1"></a></td>
                            <td class="titleblack">Универсальный язык И.
                          Ньютона</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Работа великого английского ученого И.Ньютона &quot;Об универсальном языке&quot; [<a name="p1" href="#pp1">1</a>] представляется вполне закономерной и соответствующей тому времени попыткой выделить универсальное начало в естественных языках. Ньютон обосновывал языковую общность тем, что языки, по его мнению, были созданы для обозначения субстанций (духов или тел), которые у всех народов одинаковы. Слова же, обозначающие отношения или предикаты, описываются через главного своего представителя - основного действующего лица, субъекта предиката.</p>
                        <p>О корнях универсального языка Ньютон говорит лишь то, что каждый из них должен начинаться с буквы, которая относит этот корень к какой-то одной субстанции (типу). Например, должна быть специальная буква для обозначения видов людей, ангелов, домов и т.д. Но полный перечень субстанций не дается.</p>
                        <p>Большая часть работы посвящена тому, что мы сейчас бы назвали семантикой морфологии или просто грамматикой языка. Ньютон перечисляет все грамматические префиксы и аффиксы, объясняя попутно их использование. Начинается все с категории степени, в которой выделяется 16 значений, каждое из которых призвано обозначить некоторую позицию в оценочных шкалах типа плохой-хороший, большой-маленький и т.д. Современная интерпретация шкал в Московской лингвистической школе беднее Ньютоновской: в ней используются только две степени (полюса), только по трем шкалам (Bon-AntiBon, Magn-AntiMagn, Ver-AntiVer). В других работах шкалы играют более значительную роль (Raskin[96]).</p>
                        <p>При описании типов предикатов и отношений Ньютон на самом деле перечисляет те отношения, которые могут связывать участника ситуации с ситуацией, т.е. то, что сейчас было бы названо глубинными падежами. К сожалению, в работе приведен один единственный пример с глаголом &quot;рисовать&quot; (точнее, c субъектом рисования - художником), что не позволяет достоверно спроектировать ньютоновские падежи на какую-нибудь из современных систем. Отметим только, что помимо общепринятых основных отношений СУБЪЕКТ, ОБЪЕКТ, АДРЕСАТ, РЕЗУЛЬТАТ и т.д., введены специальные отношения, которые как бы дублируют основной набор для некоторого другого, попутного участника ситуации. Например, есть специальная роль, связывающая участника с ситуацией, когда он действует в общем предикате наравне с основным субъектом. Надо полагать, что два равных субъекта усматриваются, например во фразе: <i>Я с Машей иду в кино.</i> Необходимость этих дублей не совсем понятна, хотя в некоторых современных системах (см. ниже об универсальном сетевом языке) они получают даже большее применение.</p>
                        <p>Категория времени в работе &quot;Об универсальном языке&quot; разработана очень детально. Здесь описывается положения на оси времени трех точек: 1) время говорящего; 2) время основного предиката; 3) время вспомогательного предиката.</p>
                        <p>Сравнивается положение первой точки со второй и второй с третьей.</p>
                        <p>В первом случае выделяется два полюса (&quot;бесконечно давно&quot; и &quot;по прошествии бесконечности&quot;), между которыми в центре стоит &quot;настоящее время&quot; (первая точка). Между каждым полюсом и центром(настоящее время) - еще пять позиций. Например, между &quot;бесконечно давно&quot; и &quot;настоящим временем&quot;:</p>
                        <ol>
                          <li> давно, насколько это в разумных пределах  возможного;</li>
                          <li>давно;</li>
                          <li>неопределенное время назад;</li>
                          <li>недавно;</li>
                          <li>недавно, насколько это в разумных пределах  возможного.</li>
                        </ol>
                        <p>С логической точки зрения эта шкала выглядит безупречно: она симметрична относительно неопределенного прошлого (точка 3.), противопоставляя давно-недавно. Но в естественном языке такой симметричности не наблюдается. Нам представляется, что эта шкала не годится даже для приближения к формальной модели времени. </p>
                        <p>Несмотря на неоправданную стройность (логичность) модели времени, Ньютон правильно раскрывает главные объекты &quot;временной логики&quot; - точки на временной шкале, к которым относятся события (предикаты) языка, порядок, заданный на них, и некие конвенциональные временные отрезки, которыми измеряется время в естественном языке.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-1-2"></a></td>
                            <td class="titleblack">Lingua Mentalis Г.
                              Лейбница</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Г. Лейбниц посвятил немало страниц своих философских трудов лингвистике. К числу работ, связанных с языком, относят книгу &quot;О словах&quot;, вошедшую в главное произведение Лейбница &quot;Новые опыты о человеческом разумении&quot;.</p>
                        <p>Книга &quot;О словах&quot; начинается с разделения всей лексики на собственную и нарицательную, причем разъясняется, что все имена собственные произошли от нарицательных (общих). Затем рассматривается механизм метонимического переноса на примере локативных предлогов, которые от &quot;чувственного&quot; пространственного значения перешли к &quot;нечувственному&quot; ментальному осмыслению.</p>
                        <p>После этого, достаточно подробно обсуждается вопрос о &quot;реальных&quot; и &quot;номинальных&quot; определениях какой-либо сущности. Говорится, что реальное определение - это определение, которое задает объект, существование которого подтверждено нашим опытом или конструктивным доказательством. Номинальное определение - дает лишь описание объекта словами, никак не гарантируя его существование в действительности. Например, правильный десятигранник - это номинальное определение объекта, реального определения этому объекту дать невозможно (поскольку правильного десятигранника в нашем мире существовать не может). Определяя золото как драгоценный, желтый металл с хорошей ковкостью, мы определяем его лишь номинально, а, установив его внутреннюю структуру (по таблице Менделеева), получаем реальное определение. Лейбниц отмечает, что в естественном языке реальные определения используются наравне с номинальными и что последними не стоит пренебрегать. Реально-номинальное деление фактически является предвосхищением всей проблематики вычисления истинности языкового выражения, которое подробно обсуждалось представителями позитивистской философии начала ХХ века (см. Рассел []).</p>
                        <p>Затем Лейбниц переносит фокус размышления на элементарные идеи, замечая, что они безусловно необходимы для определения сложных терминов, но сами не имеют реального или номинального определения. К сожалению, ничего конкретного об элементарных идеях не говорится.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-2"></a></td>
                            <td class="titleblack">II. Семантический
                              анализ и семантические словари</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <br>
                        <br>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-2-1"></a></td>
                            <td class="titleblack">Link Grammar Parser
                              (LinkParser)</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Американская система LinkParser разработана в 1990-е гг. тремя лингвистами-программистами - Davy Temperley, John Lafferty, Daniel Sleator [Temperley 1995]. Эта система включает все элементы анализа текста - от начального (графематического) до того уровня, который условно можно назвать первичной семантикой английского языка. Свободное распространение словарей и анализаторов системы позволяет подробно ознакомиться с решениями конкретных проблем английского анализа. Кроме этого, общность идеологии LinkParser c идеологией систем деревьев зависимостей позволяет нам до некоторой степени перенести часть решений LinkParser на русский язык, поскольку мы считаем, что только деревья зависимостей вполне адекватно отражают первично семантическое (глубинно-синтаксическое) представление русского текста. Ниже будут описаны принципы устройства системы LinkParser.</p>
                        <p>Синтаксическая структура [<a name="p2" href="#pp2">2</a>] (именно так называют заключительную структуру авторы системы) - набор связей (бинарных отношений) между словами или знаками препинания. Для каждого слова в словаре записывается то, какими связями оно может быть связано с другими словами предложения. Для этого используются так называемые коннекторы (специальные последовательности символов), которые обозначают тип связи. Для обозначения направления связи справа к каждому коннектору присоединяется либо знак +, либо знак -. Например, если слову W1 приписан коннектор А+, а слову W2 -коннектор A-, то в синтаксической структуре предложения, состоящего из двух слов W1 W2 , будет проведена связь А между слова W1 и W2. Предложение же W2 W1 не получит никакой интерпретации, поскольку W2 приписан коннектор А-, который образует связь только влево, а слову W1 приписан А+, который образует связь только вправо.</p>
                        <p>Одному слову может быть приписана целая формула коннекторов, составленная с помощью следующих связок:</p>
                        <ol>
                          <li>&amp; - несимметричная конъюнкция.  Например, если  слову W приписана формула А+ &amp; B+ (что  впредь будет обозначаться так:  &quot;W : А+ &amp; B+&quot;), то некоторое слово Х, с которым слово W образует связь A, должно стоять раньше по тексту, чем слово Y, с которым слово W образует связь B;</li>
                          <li>or - дизъюнкция. Если W : А+ or B-, то слово W может образовывать либо связь А вправо, либо связь B влево.</li>
                          <li>{} - факультативность. Если W: A+ &amp; {B+},  то после того, как  слово W образовало правую связь A, оно может образовывать или не образовывать связь B.</li>
                          <li>@ - неограниченность означает,  что связь может строиться неограниченное число раз.</li>
                        </ol>
                        <p>Формулы могут быть приписаны отдельному слову,   а могут - целому классу слов.  Например, коннектор(A), соединяющий прилагательные положительной степени с существительными, приписан сразу всем прилагательным.  Таким же образом формулы приписаны 23 категориям слов английского языка, которые выделены по морфологическим (степени сравнения прилагательных и наречий, грамматическое число существительных и т.д.) и базовым синтаксическим признакам (транзитивность, битранзитивность и т.д.).</p>
                        <p>Анализ LinkParser проходит в два этапа:</p>
                        <ul>
                          <li>построение множества синтаксических представлений одного предложения на английском языке;</li>
                          <li>постпроцессинг.</li>
                        </ul>
                        <p>Первый этап рассматривает все варианты связей между словами, выбирая среди них те, которые подчиняются критерию проективности (связи не должны пересекаться) и критерию связности (получившийся граф должен содержать наименьшее число компонент связностей).  Приведем пример. Пусть дан словарь:
                          <i>the</i>: D+<br>
                          <i>black</i>: A+<br>
                          <i>dog</i>: D- &amp; A- &amp; S+<br>
                          <i>has</i>: S- &amp; PP+<br>
                          <i>gone</i>: PP-,<br>
                           тогда для фразы <i>the black  dog has gone</i> будет построена следующая структура:</p>
                        <pre>  +----- D -----+
  |     +--A--+-S-+-PP-+
  |     |     |   |    |
 <i>the</i>  <i>black</i>  <i>dog</i>  <i>has</i>  <i>gone</i></pre>
                        <p>Здесь алгоритм построил четыре связи: D (<i>the - dog</i>), A (<i>black - dog</i>)), S (<i>dog - has</i>), PP (<i>has - gone</i>).</p>
                        <p>На втором этапе анализа программа разделяет построенный граф на т.н. домены, которые содержат связи, принадлежащие одному английскому фрагменту (клаузе). Например, в предложении I know that you are clever будет выделено два домена &quot;<i>I know</i>&quot; и  &quot;<i>that you are clever</i>&quot;. После чего для каждого домена проверяются условия типа:  если в домене есть связь А, то (не) должна быть связь B. Таким образом удается проверить наличие/отсутствие  в домене одной связи в зависимости от наличия/отсутствия другой связи, причем эти связи могут не иметь общих слов (если были бы общие слова, то  такие условия можно было проверить на предыдущем этапе).</p>
                        <p>LinkParser - достаточно необычная система, хотя результирующее представление,  как правильно отмечают авторы, может быть переведено в дерево зависимостей, а оттуда, используя, например, механизм, описанный Гладким [1991], - в размеченную систему составляющих. Рассмотрим пример. Пусть дано представление в LinkParser:</p>
                        <pre>          +--- C ----+
   +-Ss-+-O-+     +-Sp-+--I--+
   |    |   |     |    |     |
  <i>He</i>  <i>told</i>  <i>me</i>  <i>they</i>  <i>would</i>  <i>go</i></pre>
                        <p>Каждая из пяти связей имеет уникальный тип. Более того,  известно, что стоит слева и справа от каждой связи.  Например,  у связей Ss и Sp слева стоит подлежащее,  а справа - сказуемое. Связь O всегда идет от глагола к дополнению в объектном падеже, связи типа I  - от глагола к инфинитивному дополнению. Небольшую проблему создает межклаузная связь С, которая идет не к глаголу второй клаузы, а к подлежащему второй клаузы; но ее, впрочем, можно легко передвинуть  с подлежащего на сказуемое. Таким образом, видно, что представление LinkParser легко переводится в дерево зависимостей.</p>
                        <p>Главной причиной, по которой мы называем LinkParser семантической системой, можно считать уникальный по полноте набор связей (около 100 основных, причем некоторые из них разбиваются на 3-4 подслучая). В некоторых случаях  тщательная работа над разными контекстами привела авторов LinkParser к переходу к почти семантическим классификациям, построенным исключительно на синтаксисических принципах. Так, выделяются следующие классы английских наречий:</p>
                        <ul>
                          <li>Ситуационные наречия, которые относятся ко всему предложению в целом (clausal adverb);</li>
                          <li>Наречия времени (time adverbs);</li>
                          <li>Наречия-вводные, которые стоят в начале предложения и отделены запятой (openers);</li>
                          <li>Наречия,  модифицирующие прилагательные и т.д.</li>
                        </ul>
                        <p>Из достоинств системы нужно отметить, что организация самой процедуры нахождения вариантов синтаксического представления очень эффективна. Построение идет не сверху вниз (top-down) и  не снизу вверх (bottom-up), а все гипотезы отношений рассматриваются параллельно: сначала строятся все возможные связи по словарным формулам,  а потом выделяются возможные подмножества этих связей. Это, конечно, приводит к алгоритмической непрозрачности системы,  поскольку очень трудно проследить за всеми отношениями сразу,  и не к линейной зависимости скорости алгоритма от количества слов, а к экспонентной,  поскольку множество всех вариантов синтаксических структур на предложении из N слов в худшем случае равномощно множеству всех остовных деревьев полного графа с N вершинами[<a name="p1" href="#pp11">11</a>]. Последняя особенность алгоритма заставляет разработчиков использовать таймер, для того чтобы вовремя останавливать процедуру, которая работает слишком долго. Однако все эти недостатки с лихвой компенсируются лингвистической прозрачностью системы, в которой с одинаковой легкостью прописываются как активные валентности слова, так и пассивные, причем  порядок сбора валентностей внутри алгоритма принципиально не задается - связи строятся как будто параллельно, что полностью соответствует нашей языковой интуиции.</p>
                        <p>Стоит указать и главный недостаток системы LinkParser, который заключается в  отсутствии конкретных формул для слов, имеющих нестандартную  модель управления, которых, впрочем, не столь много в английском языке. Авторы обещали исправить этот недостаток в следующих версиях этой системы.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-2-2"></a></td>
                            <td class="titleblack">Формальная семантика</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Представление значения предложения с помощью формулы лямбда-исчисления  - одно из самых распространенных в автоматических системах, работающих с английским языком.  Первоначально предложенное исключительно для лингвистических целей расширение логики с помощью l-оператора и двух операций (a-конверсии и b-конверсии) теперь получило много применений как компьютерных (язык ЛИСП) и математических (лямбда-исчисление), так и лингвистических (формальная семантика). Работа с l-оператором достаточно проста. Синтаксически l-оператор работает так же, как работают кванторы всеобщности и существования: l ставится перед переменной, после чего эта переменная считается  связанной во всем подкванторном выражении. Каждое вхождение переменной, которая связана оператором l,  является дыркой, ждущей заполнения формулой. Таким образом, переменная, связанная оператором l, эксплицитно помечает места недостающей информации, которые нужно заполнить. Операция, называемая b-конверсией, осуществляет необходимые подстановки. Пусть, например, есть формула</p>
                        <p>lх.MAN(x).</p>
                        <p>Здесь префикс lх связывает переменную х в выражении MAN(x). Переменная х в MAN(x) эксплицитно обозначает,  что предикат MAN имеет аргумент, который мы можем заменить. Конкатенация обозначает, что здесь нужно  сделать подстановку. Специальный символ @ используется для обозначения конкатенации. Например, можно записать так:</p>
                        <p>lх.MAN(x) @ VINCENT.</p>
                        <p>Здесь первую часть выражения (до знака @) мы будем называть <b>функтором</b>, а вторую - <b>аргументом</b>. Такая конструкция позволяет осуществить  b-конверсию, то есть приравнять переменную х константе VINCENT, получив в результате:</p>
                        <p>MAN(VINCENT).</p>
                        <p>Функторы и аргументы могут быть  сколь угодно большими формулами, что открывает достаточно  широкие перспективы.  Общий  механизм работы системы на лямбда-исчислении для одного предложения выглядит так:</p>
                        <ol>
                          <li>всем словам приписывается по формуле, составленной по законам лямбда-исчисления, которые в результате составляют одну большую формулу;</li>
                          <li>последовательно применяя b-конверсию и другие законы логики первого порядка, упрощаем формулу;</li>
                          <li>в результате должна получиться формула без l-операторов и операторов конкатенации.</li>
                        </ol>
                        <p>Приведем пример. Пусть нам дана фраза <i>every boxer walks</i>; припишем формулы словам этой фразы:</p>
                        <p>
                          <i>every</i>: lP.lQ.&quot;х(P@x -&gt; Q@x)</p>
                        <p>
                          <i>boxer</i>: ly.BOXER(y)</p>
                        <p>
                          <i>walks</i>: lx.WALK(x) </p>
                        <p>Применяя b-конверсию для формул every boxer, получаем </p>
                        <p>lP.lQ.&quot;х(P@x -&gt; Q@x)@ ly.BOXER(y) = lQ.&quot;х(ly.BOXER(y)@x -&gt;                           Q@x) =lQ.&quot;х(BOXER(x)-&gt; Q@x).</p>
                        <p>Применяя еще раз b-конверсию, получаем</p>
                        <p>lQ.&quot;х(BOXER(x)-&gt; Q@x) @ lx.WALK(x) = &quot;х(BOXER(x)-&gt; lx.WALK(x)@x) = &quot;х(BOXER(x)-&gt; WALK(x))</p>
                        <p>Последняя  формула точно отражает смысл предложения <i>every boxer walks</i>, точнее смысл кванторного слова <i>every</i>.</p>
                        <p>Вообще говоря, заключительная формула  никак не может удовлетворить специалиста в области лексической семантики, поскольку в ней явно прописан только смысл кванторного слова every, ничего не сказано о словах <i>boxer</i> и <i>walk</i>.  Но так уж развернулось это направление, что в нем больше занимаются самыми жесткими языковыми конструкциями и словами, которые могут переходить в логические связки или кванторы.  Об этом, кстати, не раз заявляла B. Partee, говоря, что  формальная семантика -  это скорее семантика синтаксиса.</p>
                        <p>Однако техника приписывания словам формул l-исчисления не является единственным направлением деятельности в формальной семантике. Вторая немаловажная сторона обращена к интенсионально/экстенсиональному разграничению означаемого любого знака, введенного впервые в [??].  По определению, экстенсионал Х (Ext(X)) - это множество объектов, которые обозначаются Х-ом в данном возможном мире [<a name="p3" href="#pp3">3</a>],  а интенсионал Х (Int(X)) - это функция, которая по Х вычисляет Ext(Х). Например, </p>
                        <p>В мае 2000 года Ext(<i>Президент США</i>) = <i>Билл Клинтон</i>,</p>
                        <p>а Int(<i>Президент США</i>) - это функция, которая в каждом возможном мире вычисляет человека, который является Президентом США. </p>
                        <p>Используя интенсионально/экстенсиональное деление, можно определить т.н. интенсиональные и экстенсиональные конструкции (см.  подробнее  Partee [1989]). Пусть синтаксическая конструкция С построена из А и В. Положим, что функции А на аргументе В дает значение С (А(В) = С), тогда если существует функция F, такая, что F(Ext(A), Ext(B)) = Ext(С), то назовем конструкцию С  экстенсиональной, в противном случае, если существует только такая функция F, что F(Ext(A), Int(B)) = Ext(С) - интенсиональной. Например, пусть С = <i>красный шар</i>, А = <i>красный</i>, В = <i>шар</i>, Ext(A) = множество всех красных объектов, Ext(B) = множество шаров,  искомая функция F - пересечение, поскольку верно,  что  Ext(<i>красный</i>) C Ext(<i>шар</i>) = Ext (<i>красный шар</i>). Другой случай, С = <i>искусный хирург</i>, А = <i>искусный</i>, В = <i>хирург</i>, Ext(A) - множество всех искусных субъектов (они могут быть и не хирургами), Ext(B) - множество хирургов. Это не экстенсиональная конструкция,  а интенсиональная, и вот почему. Пусть в некотором мире есть субъект, который является искусным поваром; ввиду  того, что он искусный повар, он попадает во множество искусных субъектов Ext(A); вдобавок к этому этот субъект является хирургом, но не искусным. Поскольку этот искусный повар является еще и хирургом, он попадает во множество Ext(B). Таким образом,  получается,  что указанный субъект попал в оба множества, и никакими теоретико-множественными операциями нельзя его оттуда исключить. Это приводит нас к выводу, что конструкция <i>искусный хирург</i> интенсиональная.</p>
                        <p>Применяя интенсионально/экстенсиональное разграничение конструкций можно получить, что глаголы <i>love, hit, sit, eat, buy, break</i> являются экстенсиональными,  а глаголы <i>need, want, imagine, must</i> - интенсиональными.</p>
                        <p>На наш взгляд, интенсионально/экстенсиональное разграничение  дает иногда слишком глубокое (теоретико-множественное) описание семантики конструкций. Не достаточно ли было  сказать,  что прилагательное <i>искусный</i> (в отличие от <i>красный</i>) является оценочным, поэтому требует имплицитно субъекта оценки и т.д. (см., например, Семенова [1997])?  А глаголы <i>need, want, imagine, must</i> являются модальными в широком смысле, поэтому имеют валентность на целую ситуацию, которой, может быть, не было в реальности.</p>
                        <p>Подытоживая, можно сказать, что формальная семантика использует l-исчисление для представления смысла высказываний и строит теоретико-множественные интерпретации, осложненные интенсионально-экстенсиональным разграничением. Это позволяет быстро перейти от языкового выражения к его логической структуре и референтам высказывания, но на очень ограниченном &quot;фрагменте&quot; языка.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-3"></a></td>
                            <td class="titleblack">Проект Микрокосмос</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Проект Микрокосмос(1991-99 гг.), разрабатываемый в университете Нью-Мексико под руководством С.Ниренбурга, - одна из самых интересных и масштабных попыток использовать семантическую и онтологическую информацию в машинном переводе. Этот проект, первоначально призванный улучшить качество существовавшего уже испано-английского перевода, трансформировался в полную семантическую систему, способную хранить сведения о конкретных семантических свойствах естественных языков (на данный момент есть сведения о четырех языках: английском, испанском, японском, русском) вместе с общеязыковой онтологией (сведения о мире,  сформулированные на общем метаязыке).  Основные достижения разработчиков Микрокосмоса связаны именно с семантическим и послесемантическими анализами, поскольку морфологические и синтаксические анализаторы были ими заимствованы (Pangloss MT  syntactic analysis  module).   Само название проекта Микрокосмос возникло из идеи максимально продуктивно синтезировать множество существующих на сей день теоретических разработок (т.н. микротеорий) в единую систему. К числу  самых интересных микротеорий, адаптированных и улучшенных в Микрокосмосе, мы относим:</p>
                        <ol>
                          <li>теорию организации онтологии, принципов извлечения информации из нее;</li>
                          <li>методы применения онтологии к реальным текстам,  в частности методы разрешения омонимии;</li>
                          <li>конкретные семантические микротеории, например микротеория прилагательного.</li>
                        </ol>
                        <p>Онтология или тезаурус, как место хранения кроссязыковой информации, всегда привлекали разработчиков машинного перевода. Основным достоинством онтологического подхода в противовес бинарному переводу считается  возможность более глубокого анализа текста и возможность подключать к системе перевода новые языки, не изменяя онтологии. Несмотря на это очевидное достоинство, специалисты усматривают в онтологическом подходе следующие  недостатки:</p>
                        <ol>
                          <li> Избыточность.  Часто считается, что разрешить  семантическую неоднозначность можно, используя  несемантические методы;</li>
                          <li>Зависимость от конкретного языка. Многие полагают, что  онтологии слишком сильно зависят от языковой компетенции составителя языка;</li>
                          <li>Ненаучность.  Отсутствие  точных методик  составления онтологий делает невозможным повторение экспериментов по их воссозданию;</li>
                          <li>Инженерная сложность.  Время на разработку онтологий зависит от размера онтологии не линейно, а экспонентно.</li>
                        </ol>
                        <p>На эти контраргументы отвечает  статья С.Ниренбурга (Apologiae Оntologiae[1994]):</p>
                        <ol>
                          <li>Онтология не избыточна,  поскольку ни одна система машинного перевода трансферного (бинарного) типа не может полноценно справиться с задачами восстановления кореферентных связей и метафорического переноса, без которых невозможно сделать необходимое приближение  к компьютерной модели естественного языка.</li>
                          <li>Зависимость от конкретных языков, безусловно, - обязательное свойство онтологий, но чем  больше языков описано на этой онтологии, тем более она становится независимой. Важно, что онтологии являются  не чем-то принципиально ортогональным всем языкам, а неким медленно растущим образованием -  общим знаменателем всех языков.</li>
                          <li>Контраргумент в ненаучности не лишен основания, хотя этот же довод можно отнести к любой семантической теории.  По мнению Ниренбурга, точное воссоздание онтологии в каком-то другом коллективе  вообще не является обязательным,  поскольку их онтология  имеет множество других эквивалентных альтернатив. Единственный критерий правильности онтологий - это ее практическая полезность  в системах автоматической обработки текста.</li>
                          <li>Последний аргумент опровергается на практике.  Ведь известно,  что основную сложность для перевода представляют первые 10-15% процентов лексикона (самые общие слова). Кроме этого, существующие сейчас большие тезаурусы, доступные онлайн, (Miller[1991]) позволяют существенно сэкономить затраты.  Использование полуавтоматических средств (Viegas [1996]) для составления словарных статей дает возможность описать лексикон в 10000 слов  за шесть человеко-месяцев.</li>
                        </ol>
                        <p>Таким образом, онтологии  в автоматической обработке текста становятся не слизком дорогим инструментом.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-3-1"></a></td>
                            <td class="titleblack">Онтология Микрокосмос</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Перейдем теперь к описанию самой онтологии системы Микрокомос (Mahesh [96]).   Онтология Микрокосмоса состоит из концептов и отношений между ними. Отношения  записаны в слотах  концепта. Концепт одновременно может содержать как абстрактную информацию (поле СЕМ),  так и конкретные данные, взятые непосредственно из входного текста (поле ЗНАЧ).</p>
                        <p>Формально,  концепт - это множество слотов (slots).   Слот - множество пар вида &lt;Поле, Значение&gt; (&lt;facet, filler&gt;), где Поле(facet)  может принимать следующие значения:</p>
                        <ol>
                          <li>ЗНАЧ (Value) - значением этого поля может быть любая текстовая реализация концепта, число,  буква и т.д. </li>
                          <li>СЕМ (Sem) - значением этого  поля может быть имя другого концепта, число или шкала.  Значение этого поля служит селективным ограничением для полей УМОЛЧ и ЗНАЧ.  Именно с помощью поля СЕМ  концепты связаны.</li>
                          <li>УМОЛЧ (Default) -  тип значения поля такой же, как у поля ЗНАЧ. Здесь записывается значение слота по умолчанию.</li>
                          <li>ЕД-ИЗМ (Measuring-Unit) - здесь записывается шкала, в которой измеряется значение полей ЗНАЧ и УМОЛЧ. Шкалы являются отдельными концептами онтологии.</li>
                          <li>ВЕС (Salience): обозначает информационный вес  концепта.</li>
                          <li>МАКС_ОТКЛ (Relaxable-to) - здесь записывается то, насколько селективные ограничения могут быть нарушены.</li>
                        </ol>
                        <p>Из сказанного ясно, что значение поля может быть либо константой, отрезком шкалы, либо отсылкой к другому элементу  онтологии. В первом случае поле называется атрибутом,   а во втором, поскольку оно связывает два элемента,  - отношением. Сами атрибуты и отношения (поля в слотах) являются концептами онтологии. Например, в  концепте-атрибуте &quot;цвет&quot;  можно найти все значения атрибута &quot;цвет&quot;: красный, синий и т.д.</p>
                        <p>Главное отношение ВЫШЕ (is-a) тоже записывается  в  слотах концепта.  Верхним концептом всей онтологии (по отношению ВЫШЕ) является концепт ALL. Его непосредственными потомками - концепты EVENT, OBJECT и PROPERTY. </p>
                        <p>Концепт может наследоваться от многих других концептов,  если они не имеют противоречащих слотов. Концепт наследует от &quot;отцов&quot; все слоты.</p>
                        <p>Семантическое различие между &quot;сыновьями&quot; может быть исключающим или перекрывающимся. Например, всех животных можно разделить на позвоночных и беспозвоночных - это исключающее наследование. Перекрывающиеся наследование проиллюстрируем на примере &quot;организаций&quot;.</p>
                        <p>Организации в системе Микрокосмос делятся на коммерческие и некоммерческие. Однако есть  такие организации (&quot;лаборатории&quot;), которые могут быть как коммерческими, так и нет, то есть у них неопределенный статус.  К тому же, у любой лаборатории должна быть заполнена валентность &quot;научной направленности&quot;, что не обязательно для  организаций. То, что лаборатории могут иметь собственные признаки,  заставляет нас создать отдельный концепт, а не ограничиться, например,  внесением нового слота(&quot;быть лабораторией&quot;)  для концепта &quot;организация&quot;.  Понятно, что концепт &quot;лаборатория&quot; наследуется от концепта &quot;организации&quot;. Кроме этого, придется создать еще два концепта: коммерческая лаборатория, которая наследуется от коммерческой организации и лаборатории, и некоммерческая  лаборатория,  которая наследуется  от некоммерческой организации и лаборатории. Таким образом, непосредственными потомками концепта &quot;организация&quot; являются коммерческая организация,  некоммерческая организация и лаборатория.  Если у двух сыновей одного концепта есть общий потомок, то это - перекрывающиеся наследование, поскольку эти сыновья в принципе не взаимоисключают друг друга.</p>
                        <p>Авторы онтологии не раз заявляют, что точных критериев выделения &quot;сыновей&quot; у концепта не существует. Более того, как нам видится, если бы значения какого-то слота  можно было вычислять  по значениям другого слота этого же концепта, то само наследование можно было бы свести только к исключительному. В таком случае, для концепта всех организаций  можно было иметь только один  концепт, в котором нужные валентности включаются в зависимости от того, как включены основные слоты (коммерческая/некоммерческая и лаборатория/не лаборатория). К сожалению, такого механизма в Микрокосмосе нет.</p>
                        <p>Еще одно замечание, на которое мы хотели бы указать, касается всех больших тезаурусов и, в частности, систему Микрокосмос. </p>
                        <p>Как нам кажется, онтологии и тезаурусы, в которых используется формальные выводы с большим количеством шагов, не имеют смысла, поскольку транзитивность на тезаурусных отношениях работает только на &quot;коротких&quot; дистанциях. Например, используя безупречный, с точки зрения тезаурусов, транзитивный закон для отношения ЧАСТЬ (для любых х, y, z, если ЧАСТЬ(x,y) и  ЧАСТЬ(y,z), то ЧАСТЬ (x, z)), по утверждениям</p>
                        <p><i>черенок - часть листа</i></p>
                        <p><i>лист - часть ветки</i></p>
                        <p><i>ветка - часть дерева</i></p>
                        <p><i>дерево - часть леса</i></p>
                        <p>получаем утверждение, что &quot;черенок - часть леса&quot; - утверждение формально верное, но на практике маловероятное.</p>
                        <p>Несколько слов нужно сказать о соотношении онтологии и лексикона в системе Микрокосмос. Лексикон содержит слова конкретного естественного языка, а онтология - концепты, которые являются общими для всех языков. Онтология и лексикон связаны отношением реализацией (instance), по которому можно сказать, какой концепт каким словом может выражаться. Отношение реализации может быть простым и с ограничениями. Ограничения могут быть у концепта (какое-нибудь значение слота равняется какому-то определенному значению) и у слов лексикона (такая-то валентность выражается таким-то грамматическим способом). Например, русский глагол <i>уходить</i> переводится либо в концепт <i>to leave</i>, либо в <i>to go</i> в зависимости от наличия у уходить реализации КОН-Т:</p>
                        <ol>
                          <li><i>уходить</i> + ИСХ-Т -&gt; <i>leave (уходить с работы, уходить из комнаты)</i>;</li>
                          <li><i>уходить</i> + КОН-Т -&gt; <i>go   (уходить в леса, уходить  домой)</i>.</li>
                        </ol>
                        <p>В одно слово лексикона  может входить много отношений реализации, тогда встает вопрос о выборе одного из отношений. Этот вопрос будет обсуждаться в следующем разделе.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-3-2"></a></td>
                            <td class="titleblack">Реализация концептов в тексте</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Концепты, записанные в онтологии Микрокосмос, реализуются в тексте в словах. Слова могут быть неоднозначны, т.е. им может быть приписано несколько концептов,  из которых нужно выбрать один. Проблема выбора нужного  номера значения слова - одна из самых сложных, поскольку полный перебор вариантов приписывания номеров значения на больших отрезках текста не осуществим из-за большой неоднозначности. В данном случае всегда используются эвристики: лингвистические или логические. Лингвистические  эвристики применимы в конкретных  языках, они обычно сужают область поиска конкретными правилами, уменьшающими отрезки текста, на котором нужно применять полный перебор.  Логические эвристики - связаны с предположением, что семантическая структура предложения чаще всего бывает деревом. Поскольку именно этот тип эвристик используется в Микрокосмосе (Beale[96]),  мы остановимся на нем подробнее.</p>
                        <p>Задача приписывания номеров значений словам сформулирована так: дано синтаксическое представление одного предложения, нужно приписать им номера значений, если для каждого номера значения указано, с какими другими номерами он может употребляться. То, что номер значения какого-то слова обусловливает выбор номера значения другого слова, мы будем называть <b>ограничением</b>. Граф, в узлах которого  стоят слова, а на стрелках - находятся ограничения, будем называть <b>графом ограничений</b>.  Стрелки графа  ограничений получаются из синтаксического анализа, а сами ограничения -  из лексикона и онтологии, которые в этой системе называются <b>селективными ограничениями</b>.  Например, по предложению</p>
                        <p><i>Петя ест уху</i></p>
                        <p>строится синтаксическое представление:</p>
                        <p>подл(<i>есть, Петя</i>)</p>
                        <p>к_доп(<i>есть, уха</i>) </p>
                        <p>по которому строится граф ограничений:</p>
                        <p>подл(<i>есть, Петя</i>):  &quot;Петя - одушевленный субъект&quot;</p>
                        <p>к_доп(<i>есть, уха</i>): &quot;уха - съедобный объект&quot;.</p>
                        <p>Кроме стрелок, возникших из синтаксиса, ограничения могут быть записаны в словаре. Например, может быть  сказано, что прямой объект данного предиката находится в такой-то семантической связи с подлежащим. Понятно, что между этими объектами прямой синтаксической связи нет.</p>
                        <p>Нахождение всех решений приписывания номеров значений составляет отдельную теорию, т.н. теорию ограничений (Constraint satisfaction theory), базовой книгой для которой является Tsang[1993]. Основным положением теории ограничений, как уже было сказано, служит тот факт, что граф ограничений в естественных языках чаще всего бывает деревом или почти деревом в том смысле,  что можно разбить граф на такие  подграфы, когда число узлов, зависящих от узлов, не входящих в данных подграф, существенно меньше общего числа узлов, входящих в этот подграф. Несколько более формально это можно сформулировать следующим образом. Представив подграф графа ограничений в виде  пары &lt;Out,In&gt;, где Out - узлы, зависящие хотя бы от одного узла, не входящего в подграф, а In - узлы, зависящие только от узлов подграфа. Тогда основное предположение теории ограничений звучит так:</p>
                        <p>граф ограничений для семантических структур естественного языка можно разбить на такие подграфы &lt;Out,In&gt;<sub>1</sub> ,..., &lt;Out,In&gt;<sub>N</sub>, что размер любого Out<sub>i</sub> будет меньше размера Ini (1&lt;= i &lt;=N).  Если &lt;Out,In&gt;<sub>i</sub> пересекается с &lt;Out,In&gt;<sub>j</sub>, то один  из них входит в другой, а &lt;Out,In&gt;<sub>N</sub> - является собственно графом подчинения, включающим все предыдущие &lt;Out,In&gt;<sub>i</sub> (1&lt;= i &lt;=N-1). Понятно, что &lt;Out,In&gt;<sub>N</sub> - будет содержать пустой  первый член  и максимально полный - второй.</p>
                        <p>Идеальный случай для главного предположения теории ограничений - это дерево. Дерево можно разбить на подграфы, число  которых равно числу нетерминальных вершин, причем в каждом подграфе (за исключением  последнего) Out будет содержать  ровно один элемент.  Два наиболее &quot;плохих&quot; случая - это полностью несвязный граф и полный граф. И в том и другом случаях множество подграфов  с нужным условием не удается построить. Таким образом, теория ограничений ориентирована на деревья или на &quot;почти деревья&quot;.</p>
                        <p>После того, как системе удается разбить граф ограничений на необходимые подграфы, что само является непростой задачей (если пытаться решить ее полностью и корректно), вычисляется оптимальное приписывание номеров значений узлам, входящим в Out, для каждого графа. Затем вычисляются Out-узлы для каждого подграфа, если его подграфы уже были вычислены, и т.д. Таким образом, вычисление вариантов  приписывания номеров значений идет от маленьких графов к большим, причем узлы, входящие во множество In некоторого графа, уже не пересчитываются, когда вычисляется значение для узлов, принадлежащих другим подграфам.</p>
                        <p>Этот метод вычисления можно проиллюстрировать на примере выборной системы.  Как известно, проводить референдумы по каждому государственному вопросу было бы слишком дорого, поэтому  государство использует систему делегирования полномочий, когда вся страна поделена на округа, по которым выбирается один  или несколько депутатов, те, в свою очередь, собираются и выбирают депутатов от своих собраний и т.д. В конце концов, заданный государственный вопрос решается небольшой группой депутатов с помощью обычного референдума. </p>
                        <p>В проекте Микрокосмос многое было сделано для развития теории ограничений. Главные из них следующие:</p>
                        <ol>
                          <li>Применение небинарного способа слияния подграфов (раньше сливались только два подграфа), что позволяет оптимально рассматривать варианты и осуществлять откатку (Solution synthesis);</li>
                          <li>Использование количественных ограничений, которые не просто могут выполняться или не выполняться, а имеют некоторую оценку от 0 до 1.</li>
                        </ol>
                        <p>Для внедрения последнего усовершенствования нужно использовать  метод нахождения минимального пути во взвешенном графе (Branch-and-Bound technique) для получения лучшей комбинации решений на подграфах.</p>
                        <p>Несмотря на успешное внедрение теории ограничений в реально работающую систему и на то, что эта теория позволила сократить количество переборов с миллионов до сотен, следующие два момента остаются неясными:</p>
                        <ol>
                          <li>Если граф зависимостей строится только на основе синтаксических знаний и статической словарной информации, мы в какой-то степени утверждаем, что все семантические зависимости получаются только из синтаксических, что представляется чрезмерным упрощением семантического анализа;</li>
                          <li>Не доказана оптимальность используемой в Микрокосмосе процедуры получения множества подграфов (circle),  что, по всей видимости, является сложной математической задачей.</li>
                        </ol>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="40"><a name="2-3-3"></a></td>
                            <td class="titleblack">Микротеория прилагательных</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Микротеория прилагательных, представленная  в работе Raskin[96], на наш взгляд, - отличный образец компиляции теоретических работ по прилагательным в одну микротеорию.  Микротеория поделена на три части: обзор литературы, описание классов прилагательных внутри Микрокосмоса,  описание процедуры включения прилагательного в тот или иной класс.</p>
                        <p>Первое лингвистическое наблюдение Lyons[1977] заключается в том, что в языках, где нет специальных форм для прилагательных, роль прилагательных играют либо существительные, либо глаголы. Это разграничение можно спроецировать на языки с прилагательными, выделив два класса прилагательных (существительные)  и прилагательных (глаголы), которые, правда, не покрывают всего множества прилагательных.</p>
                        <p>Другое немаловажное замечание состоит в том, что  экстенсионал прилагательных  обычно превосходит по объему  экстенсионал существительных, а интенсионал, наоборот, - меньше. Это происходит  из-за того, что прилагательные обозначают только одно свойство,  а существительные целые наборы свойств.</p>
                        <p>Следующее разграничение, активно обсуждаемое в литературе,  касается возможности прилагательных стоять в предикативной позиции, что для русского языка эквивалентно возможности образования краткой формы. Согласно исследованию Levi[1978], непредикативные прилагательные (не имеющие краткой формы) имеют следующие свойства:</p>
                        <ol>
                          <li>отсутствуют степени сравнения;</li>
                          <li>не могут образовывать однородный ряд с предикативным прилагательным;</li>
                          <li>могут сочетаться с кванторными приставками типа поли-, би-, мульти-.</li>
                          <li>имеют такое же таксономическое дерево, что и существительные, поскольку в большей части произошли от существительных;</li>
                          <li>связываются с модифицируемым существительным ситуативными отношениями, например:  <br>
                             агентивные: <i>редакторская колонка, человеческий труд</i><br>
                             объектные: <i>конституционное собрание</i><br>
                             инструментальные: <i>ручная работа</i>;</li>
                          <li>не могут субстантивироваться.</li>
                        </ol>
                        <p>Разделение прилагательных на качественные и относительные не противоречит различению предикативность/непредикативность, поскольку относительные прилагательные всегда являются непредикативными. Отсутствие интереса  английской лингвистики к относительным прилагательным объясняется тем, что в английском языке мало относительных прилагательных, их функции выполняют существительные, поставленные в препозиции. Наоборот, качественные прилагательные - более популярная тема. Семантика качественных прилагательных всегда связана  с возможностью иметь степени сравнения, которые обозначают точки на заданной шкале, причем порядок на шкале выражает прилагательное сравнительной степени. Таким образом, смысл качественного прилагательного выражается скорее сравнительной степенью, чем положительной (Sapir [1944]).</p>
                        <p>Заканчивая обзор предшествующей литературы по прилагательным, авторы  останавливаются на одном замечании, высказанном в работе Marx[1977], о том, что прилагательные имеют наиболее сложные композиционные характеристики, буквально: &quot;одни и те же прилагательные могут относиться к разным частям семантики существительного в зависимости от  семантического класса самого существительного&quot;. Например, прилагательное <i>хороший</i>; связанное с артефактом,  относится к использованию артефакта; связанное с ролью, относится к обязанностям этой роли; связанное с едой, относится к вкусовым качествам. Авторы статьи не упоминают, что Пустейовский (Pusteyovsky[1995]), разбиравший эту же проблему с прилагательным <i>хороший</i>, предложил использовать здесь одну из базовых функций TELIC (назначение), с помощью которой он описывал отношения между концептами (например, TELIC(<i>нож</i>) = <i>резать</i>, TELIC(<i>книга</i>) = <i>читать</i>).  Пустейовский указал, что сложные композиционные свойства прилагательного <i>хороший</i> связаны  с тем, что оно часто относится к значению функции TELIC:</p>
                        <p><i>хорошая книга</i> &lt;=&gt; <i>книга хороша для чтения</i></p>
                        <p><i>хороший нож</i> &lt;=&gt; <i>этим ножом хорошо резать</i></p>
                        <p>Далее авторы предлагают свою интерпретацию семантики прилагательных. Основным элементом их теории является понятие шкалы, которые бывают двух сортов:  численные и символьные. Например, шкала размеров &quot;маленький, средний, большой и т.д.&quot; - численная, а шкала цветов &quot;красный, синий, зеленый&quot; - символьная. Все прилагательные делятся на две категории: шкальные прилагательные (scalar adjectives) - те,  которые привязаны к какой-то шкале,  и нешкальные прилагательные (nonscalar adjectives),  у которых нет шкал. Основа шкальных прилагательных - качественные прилагательные, которые могут стоять в предикативной и атрибутивной позиции.  Большинство нешкальных прилагательных - относительные непредикативные прилагательные. За скобками шкально/нешкального деления стоят некоторые прилагательные времени типа: <i>бывший сотрудник, ранний гость, случайный посетитель</i>, которые должны преобразовываться в семантическую конструкцию с наречием: &quot;человек, с которым вы раньше работали&quot;, &quot;гость, который рано пришел&quot;, &quot;посетитель, который случайно зашел&quot;. </p>
                        <p>Шкальные прилагательные делятся на настоящие шкальные (большой, красный)  и конвертированные шкальные (властный, поэтический). Настоящие шкальные прилагательные  имеют степени сравнения и легче используются в предикативной позиции. Конвертированные шкальные произошли от относительных, поэтому сохраняют до некоторой степени их черты, но все-таки должны разрешать сравнительный контекст типа:</p>
                        <p><i>Его взгляд был более властным, чем в прошлый раз.</i></p>
                        <p>Нешкальные прилагательные делятся на произошедшие от имен собственных (<i>африканский, кремлевский</i> и т.д.), ситуативные (<i>загрузочный, вычислительный</i>) и настоящие относительные (<i>стеклянный, деревянный</i>).</p>
                        <p>Затем авторы статьи проводят дальнейшую субкатегоризацию трех самых обширных классов прилагательных (настоящие шкальные, ситуативные и настоящие относительные), приводя примеры статей из английского лексикона системы Микрокосмос.</p>
                        <p>Композиционная проблема прилагательных, упомянутая выше, решается в русле генеративного лексикона (Pusteyovsky[1995]). И это означает, что значений у прилагательных не очень много (для прилагательного хороший - одно), но зато при каждом объекте прописано, по каким шкалам он может изменяться и что, собственно, в этом объекте может изменяться. Длинные перечни значений для прилагательных, наподобие тех, что есть в WordNet (12 значений для хороший), вообще невозможны в Микрокосмосе, поскольку здесь действуют два правила дополнительной дистрибуции:</p>
                        <p>&quot;1. Попробуй  поставить двух кандидатов на разные значения  в одно предложение. Если нужен дополнительный контекст, чтобы реализовалось одно из значений, то это значение не является самостоятельным, и должно быть включено в первое.<br>
                            2. Если кандидат на отдельное значение применим только к ограниченному классу семантически сходных существительных, значит это значение нужно подвести под уже существующее в системе значение&quot; (Raskin[96] стр. 149.)</p>
                        <p>В целом микротеория прилагательного предлагает новый подход, в котором  понятие шкалы вбирает в себя предыдущие противопоставления в семантике прилагательных. Используя генеративные механизмы, микротеория переносит часть ранее приписываемого прилагательному смысла на существительные, приписывая не  прилагательным классы существительных, которые они могут модифицировать, а существительным - те классы прилагательных, которые могут их модифицировать.</p>
                        <p>Одно критическое замечание, которое касается символьных шкал, состоит в том, что сами точки на т.н. символьной шкале не составляют шкалу в обычном смысле этого слова, поскольку на шкале все-таки предполагается заданным некоторый порядок. Отношение между точкой символьной шкалы и самой шкалой скорее выражается отношением ВЫШЕ (is-a), например: красный - разновидность цвета, круг - разновидность формы. Если принять это замечание, то столь фундаментальное положение понятия шкалы изменится. Но это не затронет  основ микротеории.</p>
                        <p>Второе замечание -  по поводу  использования численных шкал. Верно, что порядок на таких шкалах обычно является плотным (в обычном математическом смысле), что вводит в соблазн соотнести точки на этих шкалах с действительными числами  от 0 до 1. На самом деле в языке задан только порядок,  но не сами значения, верно, что &quot;большой &gt; средний &gt; маленький&quot;, но пропорции между ними не заданы, поэтому и не стоит их вычислять.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-4"></a></td>
                            <td class="titleblack">Генеративный лексикон</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Книга Джеймса Пустейовского (Пустейовский[1995]) полностью посвящена семантике естественных языков, так сказать, с логической точки зрения. Основная проблема, затрагиваемая в книге, касается принципа композициональности, сформулированного представителями школы формальной семантики:</p>
                        <p>&quot;Смысл выражения получается с помощью некоторой функции из смыслов его синтаксических составляющих &quot; (об этом подробнее, Bach [1991]).</p>
                        <p>Несмотря  на критику этого постулата (например, Lahav[1989]) , компьютерной лингвистике приходится его признавать, поскольку альтернативы могут привести к заключению, что компьютерные модели естественного языка принципиально неадекватны [<a name="p4" href="#pp4">4</a>], то есть нарушить пресупозицию существования компьютерной лингвистики.</p>
                        <p>Композициональная функция (та, из которой получается смысл) находится в центре внимания автора Генеративного лексикона. Формальное определение этой функции или хотя бы какого-нибудь ее  свойства представляет собой существенное достижение в лингвистике.</p>
                        <p>По мнению автора Генеративного лексикона,  существующие методы моделирования этой функции не способны к новому, креативному осмыслению слов в контексте, что обязательно. Традиционный подход делит слова на активные функторы и пассивные аргументы, тогда как зависимости внутри языкового выражения взаимны.</p>
                        <p>Критикуя организацию существующих семантических словарей, автор говорит, что с точки зрения омонимии/полисемии большинство из них устроено так: каждому омониму слова приписывается отдельный вход, а все полисемичные слова содержатся в одном входе, где внутри явно прописано отношение, которое связывает полисемичные элементы. Такие словари называются SEL-словарями (Sense Enumerative Lexicons), и единственное их  достоинство, с позиции Пустейовского,  в том, что можно отделить словарь от его обрабатывающего программного кода, разделить таким образом данные и программу.  Но SEL-словари не могут:</p>
                        <ol>
                          <li> объяснить, как слова принимают новые значения в разных контекстах;</li>
                          <li>смоделировать достаточно точно отношения между полисемичными входами;</li>
                          <li>приписать разные синтаксические модели управления одному значению слова.</li>
                        </ol>
                        <p>Первый недостаток иллюстрируется примерами:</p>
                        <p><i>Mary wants another cigarette.</i></p>
                        <p><i>Mary wants a beer.</i></p>
                        <p><i>Mary wants a job.</i></p>
                        <p>Здесь SEL-словари вынуждены вводить три разных значения для глагола <i>to want</i>:</p>
                        <p>want1 = <i>to want to smoke</i></p>
                        <p>want2 = <i>to want to drink</i></p>
                        <p>want2 = <i>to want to have.</i></p>
                        <p>Очевидно, что таких значений будет больше трех - бесконечно много, значит, всех их  включить в словарь нельзя.</p>
                        <p>Второй недостаток, касающийся полисемичных входов, иллюстрируется на примерах типа:</p>
                        <ol>
                          <li>a. <i>bake potatoes</i>  (process)<br>
                                b. <i>bake a cake</i>  (creation)</li>
                          <li>a. <i>break a window</i> (physical object)<br>
                                b. <i>crawl through the window</i> (aperture)</li>
                          <li>a. <i>a sad woman</i>   (human)<br>
                                b. <i>a sad day</i> (interval)</li>
                        </ol>
                        <p>Автор утверждает, что, несмотря на возможность записать отношения между этими полисемичными входами, у SEL-словарей просто не хватает для этого выразительных средств,  поэтому составители часто заносят их в отдельные входы, никак не связанные между собой.</p>
                        <p>
                          Последнее недостаток, конечно, не касается элементарных синтаксических вариантов модели управления одного слова, когда смысл слова не меняется, но этот недостаток проявляется тогда, когда одно небольшое грамматическое изменение приводит к переосмыслению всего выражения. Такое происходит, например,  с фактивными/нефактивными употреблениями глагола:</p>
                        <p><i>Mary forgot that she locked the door</i> (фактивное)</p>
                        <p><i>Mary forgot to lock the door</i> (нефактивное)</p>
                        <p>Небольшое синтаксическое изменение привело к тому, что фраза меняет свое истинностное значение (в первом случае Мария закрыла дверь, а во втором - нет). SEL-словарям приходится вносить два разных значения, чтобы различить эти случаи.</p>
                        <p>Обозначив недостатки SEL-словарей, Пустейовский переходит к описанию  своего словаря (генеративного лексикона). Словарная статья генеративного лексикона состоит из четырех зон:</p>
                        <ol>
                          <li>аргументная структура (Argument Structure): определение логических аргументов и их синтаксического выражения;</li>
                          <li>структура событий (Event Structure): внешнее определение слова (процесс, состояние, переход) и внутренняя структура событий;</li>
                          <li>смысловая структура (Qualia Structure):  состоит из четырех полей FORMAL, CONSTITUTIVE, TELIC и AGENTIVE (будет объяснено ниже);</li>
                          <li>структура лексического наследования: здесь записывается отношение антонимии, синонимии, пресупозиции и пр.</li>
                        </ol>
                        <p>Вся эта информация призвана поддерживать следующие семантические генеративные механизмы:</p>
                        <ol>
                          <li>преобразование типа выражения(type coercion): когда  лексическая единица меняет свой семантический тип, не меняя синтаксический тип под влиянием управляющего предиката;</li>
                          <li>выборочное  связывание (selective binding): когда один элемент влияет на часть другого элемента, не меняя свой тип;</li>
                          <li>ко-композиция (co-composition): когда много слов, ведущих себя как активные функторы, создают новое значение у слова, которое не было записано в словаре; ко-композиция подразделяется на manner co-composition, feature transcription и  light verb specification (см. ниже).</li>
                        </ol>
                        <p>Аргументная структура слова содержит перечень всех логических отношений, которые могут связывать слово  с другими словами в тексте. По синтаксическим признакам аргументы бывают четырех типов:</p>
                        <ol>
                          <li>обязательные аргументы (true arguments),  которые всегда должны выражаться в тексте: John arrived late;</li>
                          <li>факультативные аргументы (default arguments), которые не обязательно выражаются в тексте, поскольку по словарной статье этого слова можно вычислить его значение:<br>
                           <i>John built the house <b>out of bricks</b></i>;</li>
                          <li>скрытые аргументы (shadow arguments), которые всегда  подразумеваются, поэтому обычно не реализуются в тексте, за исключением случаев,  когда они специально уточняются:<br>
                          <i>Mary buttered her toast <b>with an expensive butter</b>  / *with butter<br>
                          Harry kicked  the wall <b>with his gammy leg</b> / *with his leg</i></li>
                          <li>свободные обстоятельства (true adjuncts), которые относятся ко всей ситуации, а не к отдельному слову: Mary drove down to New York on Tuesday. [<a name="p5" href="#pp5">5</a>].</li>
                        </ol>
                        <p>Свободные обстоятельства не представляют интереса для автора, поскольку их семантическое влияние на другие элементы не слишком велико. Скрытые аргументы, наоборот, слишком конкретно определены, поэтому не требуют дальнейшего исследования. Первая и вторая группы  - самые важные в аргументной структуре. Фактически, мы имеем здесь дело с попыткой выразить, должна ли валентность  синтаксически выражаться через смысл этой валентности. Если есть хоть какая-нибудь возможность заполнить эту  валентность собственными внутренними средствами, то она может не выражаться, в противном случае она должна  быть. Интересны случаи, когда обязательные аргументы переходят в факультативные:</p>
                        <p><i>Mary  showed her paintings <b>to John</b></i>. (обязательно)</p>
                        <p><i>Mary showed a movie (<b>to John</b>)</i>. (факультативно)</p>
                        <p>Структура событий в словарной статье описывает те события, которые составляют значение слова. События определены начальной точкой на шкале времени, конечной точкой на шкале времени и фокусностью.  В зависимости от положения начальных  и конечных точек событие А может произойти раньше события B, или  событие B раньше A, или они могут перекрываться.   Определяется алгебра  времени  &lt;Е, &lt;=, &lt;, o, inc, * &gt;, где  Е - множество событий; &lt;= - частичный порядок включения [<a name="p6" href="#pp6">6</a>]; &lt; - строгий порядок следования событий во времени [<a name="p7" href="#pp7">7</a>]; о - перекрывание событий во времени; inc  - включение событий по времени,* - помета главного(фокусного) события. Алгебра предназначена для определения событий внутри одной ситуации.  Например, ситуация &quot;потопить корабль&quot;(е3) предполагает два события  е1 - каузацию потопления (обычно выстрел) и е2 - сам процесс опускания корабля на дно. В этом случае е3 логически состоит только из е1 и е2, причем е1 &lt; e2.</p>
                        <p>Фокусность определяет главное событие всего слова, например у  слов <i>покупать</i> и <i>продавать</i> одинаковая событийная структура, состоящая из двух событий:</p>
                        <p>е1: X передал некоторому Y-у некоторый Z за деньги;</p>
                        <p>е2: Y получил от Х некоторый Z за деньги.</p>
                        <p>Для глагола <i>покупать</i>  событие е2  будет фокусным, а для глагола  <i>продавать</i> - событие е1. Фокусность используется для определения  смысла некоторых  свободных обстоятельственных групп, например фраза <i>John ran home <b>for an hour</b></i>  может быть осмыслена двояко: либо John бежал два часа домой, либо он находился два часа дома, но поскольку  фокусным событием во фразе <i>run home</i> является заключительное состояние (<i>быть дома</i>), то остается только последняя интерпретация,  что соответствует интуиции англоязычного носителя.</p>
                        <p>Смысловая структура одного объекта (QUALIA STRUCTURE) состоит из четырех полей:<br>
                          CONST - отношение между объектом и его составляющими;<br>
                          FORMAL - отношение, которое выделяет его внутри предметной области;<br>
                          TELIC -  назначение объекта;<br>
                          AGENT -  причины, приведшие к  появлению этого объекта. Например, для слова <i>novel</i> эти поля будут заполнены так:<br>
                          CONST =  <i>narrative</i><br>
                          FORMAL = <i>book</i><br>
                          TELIC =  <i>reading</i><br>
                          AGENT = <i>writing</i><br>
                        </p>
                        <p>Такое описание смысла слова очень симметрично. CONST - описывает внутреннюю структуру объекта (&quot;взгляд внутрь&quot;), FORMAL - внешнюю характеристику объекта (&quot;взгляд наружу&quot;), TELIC - назначение объекта (&quot;взгляд в будущее&quot;), AGENT - происхождение объекта (&quot;взгляд в прошлое&quot;). Нетрудно соотнести эти поля с  принятыми в русской традиции названиями тезаурусных отношений ЧАСТЬ(CONST), ВЫШЕ(FORMAL) и  лексических функций Real(TELIC) и Incep (AGENT). Ясно, что эти четыре поля идеально приспособлены  к предметным существительным, но уже слова-ситуации трудно описать в этих терминах. Вот как, например,  описывается глагол <i>to build</i>:</p>
                        <p>FORMAL = exist (e2, a2)</p>
                        <p>AGENT = build_act (e1, a1).</p>
                        <p>Здесь а1 и а2 - аргументы глагола <i>to build</i> (&quot;кто строит&quot; и &quot;что строит&quot;), e1 и е2 - два подсобытия: действия по строительству(е1) и состояние построенного объекта(е2). Получается,  что глагол <i>to build</i> отличается от  остальных тем (FORMAL), что после его  второго заключительного  события объект глагола начинает существовать, а причиной (AGENT) этому послужили &quot;строительные действия&quot; субъекта глагола. Грубо говоря, все, что здесь сказано, что <i>to build</i> - креативный глагол,  связанный со строительными действиями. С нашей точки зрения, этого явно мало для семантического словаря.</p>
                        <p>Центральной частью книги является представление трех генеративных механизмов, указанных выше (преобразование типа, выборочное связывание и ко-композиция). Преобразование типа - это операция, конвертирующая тип аргумента в тот, который нужен функции, если конвертор этого типа приписан аргументу или функции. Конверторы – это небольшие правила, описывающие, как нужно конвертировать. Различаются два вида операций преобразования типа: преобразование по отношению НИЖЕ (subtype coercion) и полное преобразование аргументов (true complement coercion). Преобразование по отношению НИЖЕ позволяет конвертировать  тип слова в другой тип, к которому приписано поле по полю FORMAL. Например, FORMAL второго актанта глагола <i>drive</i> (ехать)  должно быть <i>vehicle</i> (транспортное средство). Благодаря преобразованию по отношению НИЖЕ возможны фразы типа:</p>
                        <p><i>She drove a new Honda</i>.<br>
                          Здесь <i>Honda</i> - разновидность транспортного средства.</p>
                        <p>Полное преобразование аргументов использует поля TELIC и AGENT. Это преобразование позволяет объяснить и протолковать фразы:</p>
                        <p><i>Mary wants a beer</i>. (используется поле TELIC)</p>
                        <p><i>John began a book</i>. (используется поле AGENT)</p>
                        <p>Операция ко-композиции позволяет перераспределять  семантическую нагрузку таким образом, чтобы число значений слов в лексиконе было минимально. Эта операция работает тогда, когда смысл выражения получается путем взаимной адаптации элементов выражения друг к другу, причем влияние элементов принципиально не однонаправлено. Примером ко-композиции служит использования глагола to bake,  который  в традиционных описаниях  (Atkins[1988]) имеет два значения:</p>
                        <p><i>John baked the potato</i> (изменение состояния)</p>
                        <p><i>John baked the cake</i> (креативное действие)</p>
                        <p>Пустейовский приписывает этому  глаголу только одно значение (первое), а второе получает с помощью ко-композиции. Креативное значение возникает потому, что в поле AGENT(cake) приписано действие bake. Таким образом, если поле AGENT некоторого объекта Х равно Y-у, и Y синтаксически управляет Х-ом, то значение фразы Х Y должно быть такого типа: &quot;создание с помощью действия Y объекта X&quot;.</p>
                        <p>Нам представляется,  что, если смотреть на поле AGENT как на лексическую функцию, то  ко-композиция была бы очевидна, поскольку в таком случае глагол to bake считался бы призвязочным глаголом (с нулевой семантикой), а существительное  cake - словом-ситуацией. Это вполне оправдывало бы передачу семантического веса от глагола к существительному. </p>
                        <p>Последний из генеративных механизмов - операция выборочного связывания.  Эта операция похожа на ко-композицию, но относится к отношениям не между существительным и глаголом, а между прилагательным и существительным. С помощью поля TELIC операция позволяет осуществлять следующие трансформации:</p>
                        <p><i>a good knife: a knife that cuts well</i></p>
                        <p><i>а  fast typist: a typist who types  fast.</i></p>
                        <p>Все перечисленное выше составляет ядро Генеративного лексикона.  Несмотря на очевидно новые и глубокие идеи, развитые автором, этот подход подвергся критике, которую мы рассмотрим на примере статьи Fodor&amp;Lepore[1996].  Основные критические замечания, высказанные авторами, были следующими:</p>
                        <ol>
                          <li>Д.Пустейовский  работает в русле так называемого информационно-ролевого подхода, когда в значение слова включают механизмы вывода и лексические отношения(синонимия, антонимия и т.д.) с другими словами. В противоположность этому подходу существует традиционная денотативная семантика, когда  смысл слова состоит только из отсылки к его денотату. Fodor&amp;Lepore считают, что определения лексических отношений и механизмов вывода никогда не  формулируются точно, a, наоборот, часто опираются на энциклопедические сведения, поэтому сам информационно-ролевой подход вместе со всеми его отношениями не является продуктивным направлением.</li>
                          <li>Многие примеры Пустейовского, по мнению этих авторов, не совсем корректны. Например, предложение <i>Mary wants a beer</i> не равен по значению <i>Mary wants to drink a beer</i> (пример  полного преобразования аргументов), поэтому не нужно строить никаких механизмов, их приравнивающих. Кроме этого, пример <i>to bake a potato</i> звучит смешно (&quot;sounds funny&quot;) и т.д.</li>
                          <li>Механизмы Генеративного лексикона, как кажется, могут осмыслить фразы, которые в языке семантически неприемлемы. Если генеративный механизм из <i>John finished a cigarette</i> получает <i>John finished smoking a cigarette</i>, то, развивая подобные выводы,  почему нельзя осмыслить фразу &quot;John asserted a cigarette&quot;  таким образом:  &quot;for some cigarette-involving  proposition P, John asserted P&quot;?</li>
                        </ol>
                        <p>С первым пунктом критики мы не согласны, поскольку точные определения синонимии и прочих отношений давались во многих работах (например, Апресян[1995]). Правда, эти определения основывались на семантических примитивах, введенных самими же авторами.</p>
                        <p>Второй пункт  не входит в нашу компетенцию, поскольку здесь одни лингвисты обвиняют в неправильности примеров другого лингвиста, причем для всех этих специалистов английский язык - родной.</p>
                        <p>С  последним замечанием мы склонны согласиться, поскольку в Генеративном лексиконе, действительно, нигде не говорится об ограничениях в генерации, поэтому перегенерация(&quot;overgeneration&quot;) новых смыслов возможна.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-5"></a></td>
                            <td class="titleblack">Система Artwork</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Система Artwork (Wiebe[1997]) - подсистема испано-английского
машинного перевода диалогов, 
выполняющая две функции: вычисление значений групп времени (temporal
reference resolution) и приписывание коммуникативной цели (&quot;вопрос&quot;,
&quot;предложение&quot;, &quot;согласие&quot;, &quot;отказ&quot; и т.д.) высказываниям участников
диалога(speech act resolution). Нас будет интересовать первая функция системы
Artwork, поскольку вторая более специфична для диалогов, исследование которых
составляют отдельное направление. </p>
                        <p>Участники диалогов (материал системы Artwork) разговаривают только
на одну тему: назначение общей встречи когда-нибудь в будущем.</p>
                        <p>На вход системе подаются результаты семантического анализа, которые
называются межъязыковым текстовым представлением (InterLingual Text или ILT). В
ILT все группы времени, которые были в тексте, уже обнаружены. Некоторые из
них  самодостаточны и полностью
определены, другие требуют доопределения. Приведем пример диалога:</p>
                        <p><i>s1: Hello, can we meet next week... mmm on Thursday?</i></p>
                        <p><i>s2: On Thursday I can meet after two pm</i></p>
                        <p><i>s1: Then how does from two thirty to four thirty seem to you?</i></p>
                        <p><i>s2: OK, then Thursday the nineteenth  of August.</i></p>
                        <p><i>s1: Good.</i></p>
                        <p>Именно доопределение временных групп  является первой задачей ArtWork.</p>
                        <p>Полное определение временной группы предполагает заполнение  слотов <b>темпорального  кортежа</b> (temporal unit или TU):</p>
                        <p>((start-month, start-week, start-date, start-day-of-week, start-hour&amp;minute, start-time-of-day)</p>
                        <p>(end-month, end-week,  end-date, end-day-of-week, end-hour&amp;minute, end-time-of-day))</p>
                        <p>Некоторые слоты избыточны, например, start-week вместе с start-day-of-week
эквивалентны слоту start-date, но это неважно, поскольку данное представление
направлено на доопределение, а не на хранение &quot;аптечной&quot; информации по времени.
С помощью темпоральных кортежей можно хранить как точки на оси времени, так и
отрезки, например, выражение <i>From  2 to 4, on Wed the 19th of August</i> будет
представлено так:</p>
                        <p>((August, 19th, Wed, 2, PM), (August, 19th, Wed, 4, PM)),</p>
                        <p>а выражение &quot;It is now 3pm&quot;:</p>
                        <p>((,,,3,PM), (,,,3,PM)).</p>
                        <p>Каждой временной группе диалога приписывается один темпоральный
кортеж. Некоторые слоты могут быть пустыми, что соответствует нашему текстовому
&quot;незнанию&quot;. Задача алгоритма - указать, какие темпоральные кортежи относятся к
одному и тому же времени, тем самым доопределив кортежи максимальным образом. В
связи с этим, различаются анафорические и неанафорические вхождения кортежей.
Анафорическое вхождение интерпретируется с учетом кортежа, который был упомянут
выше. Неанафорическое - указание времени, которое не обсуждалось выше.
Например:</p>
                        <ol>
                          <li><i> s1: How is Wednesday, January 31st?</i></li>
                          <li><i> s2: No good. I have classes Wednesday.</i></li>
                          <li><i> s1: Let’s meet next Monday at 2 pm.</i></li>
                        </ol>
                        <p>Здесь &quot;Wednesday&quot; во втором примере - анафорическое вхождение, а
&quot;Monday&quot; в третьем - неанафорическое. Анафорическое вхождение ссылается на
какое-то предыдущее вхождение, которое будет называться TU_previous.
Неанафорическое  может использовать
только слоты текущего времени диалога (TU_current).</p>
                        <p>Алгоритм доопределения использует отношение частичного порядка на
слотах кортежа, задающего точность (specificity) самого кортежа. Например,
кортеж, в котором  определен только
месяц, менее точен, чем кортеж, в котором определены месяц и дата. Отношение
точности определено следующим образом:</p>
                        <p>
month &lt; week &lt;
weekday &lt; time of day &lt; hour&amp;minute</p>
                        <p>month &lt; date &lt; time of day &lt;
hour&amp;minute</p>
                        <p>Чаще всего анафорическое вхождение только уточняет свой антецедент,
например: </p>
                        <p><i>s1: I am completely free the
first week in March</i></p>
                        <p><i>s2: Well, how about Tuesday
then?</i></p>
                        <p>Но бывает замена самого последнего (самого &quot;точного&quot;) слота кортежа
другим. В таком случае  общая точность
кортежа остается такой же:</p>
                        <p><i>s1: Are you free Tuesday at
3?</i></p>
                        <p><i>s2  No, how about 2?</i></p>
                        <p>Основываясь на данных выше определениях,  авторы системы формулируют правила доопределения:</p>
                        <p>1. Неанафорические вхождения:</p>
                        <p>а. Правила для выражений типа <i>tomorrow</i>,
<i>last week</i>, которые напрямую
вычисляются по TU_current(текущей дате диалога);</p>
                        <p>б. Правила вычисления кортежа по TU_current и указанному дню
недели. Например, вычислить время встречи, если собеседник  предлагает встретиться в среду (мы знаем,
какой сегодня день недели). Например:</p>
                        <p>   TU_current =  Monday, 19th, August</p>
                        <p><i>   How about Wednesday at 2? =&gt; 2pm, Wed 21 Aug</i>.</p>
                        <p>2. Анафорические вхождения:</p>
                        <p>а. Правило уточнения, когда текущее вхождение уточняет предыдущее
(TU_previous); </p>
                        <p>б. Правило обобщения,  когда
текущее вхождение обнуляет некоторые слоты TU_previous, поскольку они оказались
неприемлемыми для собеседника;</p>
                        <p>в. То же, что и правило 1.б, но вместо TU_current используется
TU_previous.</p>
                        <p>г. Правило замены самого конкретного слота TU_previous другим.
Происходит тогда, когда говорящий согласен со всеми слотами кортежа,  кроме самого конкретного, и предлагает его
заменить.</p>
                        <p>Сформулированные правила не исключают друг друга, а могут,
наоборот, сосуществовать. Каждое правило снабжено специальным коэффициентом
доверия, который применяется при оценке вывода. Кроме этого, используется
коэффициент  расстояния для
анафорических правил, оценивающий расстояние от обрабатываемой временной группы
до TU_previous. </p>
                        <p>Общий алгоритм работает так. Для входного диалога и для  каждого темпорального кортежа применяются
все правила. Пусть R1,..., Rn  - все
результаты работы правил для всех кортежей. На R1,..., Rn можно установить
отношение совместимости в том смысле, что два одинаковых слота кортежей,
обозначающих один временной отрезок [<a name="p8" href="#pp8">8</a>],
не могут быть заполнены ненулевыми разными значениями. Решениями системы
считаются все максимальные совместимые подмножества R1,..., Rn, у которых
максимальны суммы коэффициентов расстояния и доверия.</p>
                        <p>Оценки качества этого алгоритма достаточно высоки. Полнота - 81%
(отношение правильно уточненных кортежей ко всем кортежам), точность - 92%
(отношение правильно уточненных кортежей ко всем уточненным кортежам).</p>
                        <p>Нас же интересует в этом алгоритме сама схема его организации,
которая кратко выглядит так. Иемеются правила, меняющие некую лингвистическую
структуру. Правила могут сосуществовать и не противоречить друг другу. Порядок
применения принципиально  не задан,
поэтому приходится применять все правила сразу,  а потом искать те решения, которые не противоречат друг другу.
Сами авторы,  в принципе, готовы
назвать  свою систему  системой продукций, за одним исключением:
вместо того, чтобы выбрать в качестве результата правую часть последней
отработавшей продукции, результат получается из многих продукций, совместимых
друг с другом.  </p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-6"></a></td>
                            <td class="titleblack">Система UNL (Universal Networking Language)</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Проект UNL возник
в 1996 г. внутри одного из научных институтов под эгидой ООН. UNL – метаязык для описания семантики
естественных языков. Основной документ по UNL (Uchida[1996]), в котором
содержится спецификация и идеология языка, доступен в Интернете. На данный
момент над проектом UNL работают пятнадцать университетов и научных институтов,
в том числе часть сотрудников ИППИ РАН, разрабатывающих систему ЭТАП (Boguslavsky
et al. 2000). </p>
                        <p>UNL – это, прежде всего, интерлингва -  язык, который должен быть посредником между естественными языками
во время машинного перевода. Для каждого естественного языка нужно написать <b>конвертор</b>,
который переводит c этого языка на UNL, и <b>деконвертор</b>, который переводит
в обратную сторону. Разработчики UNL считают, что конверторы и деконверторы
не  должны быть полностью
автоматическими, а, наоборот, - позволять ручное вмешательство. После
постредактирования документы на UNL могут быть не только  переведены на другой язык, но тематически
проиндексированы и, в конце концов, должны быть сохранены в базе данных всех
UNL-документов. База данных должна быть доступна в компьютерной сети. Таким
образом, UNL – это язык электронных документов, максимально приспособленный для
автоматической обработки.   </p>
                        <p>Текст на естественном языке представляется на UNL ориентированным
гиперграфом. На дугах написаны семантические отношения типа: <i>agt (агент), obj (объект), tim(время),
plc(место), ins(инструмент) </i>и т.д. В узлах находятся т.н. универсальные
слова (Universal Words или UW). Узлам могут быть приписаны одноместные
грамматические характеристики:  <i>@imperative, @generic, @future, @obligation </i> и т.д. </p>
                        <p>Каждому универсальному слову могут быть приписаны семантические
характеристики, которые уточняют значение слова. Для этого используется поле
icl (is a class?), например, <i>коса
(icl&gt;берег)</i> – разновидность формы берега,  <i>коса(icl&gt;инструмент)</i>
– инструмент, которым косят траву.</p>
                        <p>Ниже будет приведен пример UNL
графа  для предложения</p>
                        <p><i> Monkey eats bananas </i></p>
                        <p> [W]</p>
                        <p>  <i>eat</i>(icl&gt;do).@present:00<br>
      <i>monkey</i>(icl&gt;animal).@generic:01<br>
      <i>banana</i>(icl&gt;food).@generic:02<br>
[/W]<br>
[R]<br>
      00agt01<br>
      00obj02</p>
                        <p>[/R]</p>
                        <p>Здесь UNL-описание поделено на две части: перечисление
универсальных слов ([W]… [/W]) и перечисление отношений, которые связывают
универсальные слова ([R]… [/R]). Для записи отношений используются коды
универсальных слов,  которые  записаны слева от универсальных слов через
двоеточие.</p>
                        <p>Каких-либо  полных и
авторитетных перечней  семантических и
грамматических характеристик в книге Dr. Uchida не дается, но зато есть
проработанный список семантических отношений с определениями и комментариями.
Этот список представлен ниже в сокращенном варианте. </p>
                        <table width="720" border=1 align="center" cellpadding=3 cellspacing=0 bordercolor="#CCCCCC">
    
                          <tr bgcolor="#CCCCCC">
                            <td colspan=3>
<table width="710" border="0" cellspacing="0" cellpadding="0">
                                
                                <tr>
                                  
                                  <th width="120">Отношение</th>
                                  <th align="center">Определение</th>
                                  <th align="center">Примеры</th>
                                </tr>
                              
                        </table></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        agt</td>
                            <td width="407" valign=top>
        Определяет
  участника, который контролирует ситуацию (АГЕНС)</td>
                            <td width="238" valign=top>
        <i>John breaks;Computer translates</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        and</td>
                            <td valign=top>
        конъюнкция</td>
                            <td valign=top>&nbsp;
  </td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        aoj</td>
                            <td valign=top>
        связывает
  объект с его признаком или состоянием</td>
                            <td valign=top>
        <i>leaf is red; John is a teacher</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        ben</td>
                            <td valign=top>
        связывает
  событие с участником, который либо что-то приобрел в результате, либо пострадал
  от этого события</td>
                            <td valign=top>
        <i>John give ... for Mary</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        cag</td>
                            <td valign=top>
        нефокусный агент ситуации</td>
                            <td valign=top>
        <i>walk with John;lives with aunt</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        cao</td>
                            <td valign=top>
        нефокусный
  признак или состояние</td>
                            <td valign=top>
        <i>is here with you</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        cnt</td>
                            <td valign=top>
        равенство
  </td>
                            <td valign=top>&nbsp;
  </td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        cob</td>
                            <td valign=top>
        нефокусный
  объект ситуации</td>
                            <td valign=top>
        <i>died with Mary<br>
                              </i><i>have a pen with a pencil</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        con</td>
                            <td valign=top>
        условие</td>
                            <td valign=top>
        <i>If light is green, ... go</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        coo</td>
                            <td valign=top>
        отношение
  между двумя одновременными событиями</td>
                            <td valign=top>
        <i>run with crying</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        dur</td>
                            <td valign=top>
        отрезок
  времени, который заняло событие</td>
                            <td valign=top>
        <i>work nine hours</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        fmt</td>
                            <td valign=top>
        промежуток
  между двумя полюсами</td>
                            <td valign=top>
        <i>from a to z;from Osaka to New York</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        frm</td>
                            <td valign=top>
        происхождение
  объекта</td>
                            <td valign=top>
        <i>man from Japan</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        gol</td>
                            <td valign=top>
        конечное
  состояние процесса или заключительное состояние</td>
                            <td valign=top>
        <i>change ... to red</i><i><br>
                              is transformed ... to strong</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        ins</td>
                            <td valign=top>
        инструмент</td>
                            <td valign=top>
        <i>look ... with telescope</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        man</td>
                            <td valign=top>
        способ
  действия или аспект состояния</td>
                            <td valign=top>
        <i>look quickly<br>
                              </i><i>very beautiful</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        met</td>
                            <td valign=top>
        средство,
  используемое для достижения целей</td>
                            <td valign=top>
        <i>... solve ... with dynamics<br>
                              </i><i>... solve ... using algorithm</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        mod</td>
                            <td valign=top>
        любое
  ограничение обьекта</td>
                            <td valign=top>
        <i>whole story;master plan</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        nam</td>
                            <td valign=top>
        имя
  объекта</td>
                            <td valign=top>
        <i>Tokyo tower</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        obj</td>
                            <td valign=top>
        объект,
  на который напрямую направлено действие</td>
                            <td valign=top>
        <i>cure paitient<br>
                              </i><i>snow melt</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        opl</td>
                            <td valign=top>
        место,
  на которое направлено действие </td>
                            <td valign=top>
        <i>pat ... on shoulder<br>
                              </i><i>cut ... in middle</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        or</td>
                            <td valign=top>
        дизъюнкция</td>
                            <td valign=top>&nbsp;
  </td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        per</td>
                            <td valign=top>
        периодичность
  или пропорция</td>
                            <td valign=top>
        <i>.two 
  per day; twice a week</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        plc</td>
                            <td valign=top>
        место
  </td>
                            <td valign=top>
        <i>cook ... in kitchen</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        plf</td>
                            <td valign=top>
        исходная
  точка</td>
                            <td valign=top>
        <i>go from home </i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        plt</td>
                            <td valign=top>
        конечная
  точка</td>
                            <td valign=top>
        <i>talk  until Boston</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        pof</td>
                            <td valign=top>
        отношение
  ЧАСТЬ</td>
                            <td valign=top>
        <i>Bird's wing.</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        pos</td>
                            <td valign=top>
        отношение
  принадлежности</td>
                            <td valign=top>
        <i>John's dog</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        ptn</td>
                            <td valign=top>
        партнер,
  с которым вы вместе действуете</td>
                            <td valign=top>
        <i>collaborate with machine</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        pur</td>
                            <td valign=top>
        назначение
  объекта или цель действия</td>
                            <td valign=top>
        <i>come to see;budget for research</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        qua</td>
                            <td valign=top>
        количество</td>
                            <td valign=top>
        <i>seven truckload</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        rsn</td>
                            <td valign=top>
        причина</td>
                            <td valign=top>
        <i>go because of illness</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        scn</td>
                            <td valign=top>
        виртуальное
  место</td>
                            <td valign=top>
        <i>play in movie</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        seq</td>
                            <td valign=top>
        отношение
  предшествования во времени</td>
                            <td valign=top>
        <i>look before leaping</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        src</td>
                            <td valign=top>
        начальное
  состояние процесса </td>
                            <td valign=top>
        <i>change from red<br>
                              is transformed from weak </i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        tim</td>
                            <td valign=top>
        время</td>
                            <td valign=top>
        <i>look on Tuesday</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        tmf</td>
                            <td valign=top>
        время
  начала</td>
                            <td valign=top>
        <i>look since morning</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        tmt</td>
                            <td valign=top>
        время
  завершения</td>
                            <td valign=top>
        <i>think until morning</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        to</td>
                            <td valign=top>
        направление</td>
                            <td valign=top>
        <i>train for London</i></td>
                          </tr>
                          <tr>
                            <td width=55 valign=top>
        via</td>
                            <td valign=top>
        промежуточное
  состояние, маршрут</td>
                            <td valign=top>
        <i>go ... via New York</i></td>
                          </tr>
                        </table>
                        <p>Видно, что  в перечне
довольно много традиционных семантических отношений (agt, obj, tim, aoj, plc и
т.д.), но есть, с нашей точки зрения, некоторые излишние новшества:</p>
                        <p>Отношения <b>cag </b>отличается
от <b>agt</b> тем, что <b>cag </b> связывает нефокусного
агента с процессом, который возник в результате основного процесса. Правда,
примеры свидетельствуют о том, что фокусный и нефокусный агенты скорее
задействованы в одном процессе (см.  в
таблице). Такие же соображения относятся к нефокусному объекту (<b>cob</b>) и состоянию (<b>сao</b>), поэтому, наверно, проще было бы ввести специальный атрибут <b>@фокусность,  </b>а не плодить отношения.</p>
                        <p>В перечне нет самых общих отношений исходной и конечной точки.
Вместо этого есть только  конкретные
реализации:</p>
                        <p>конечная точка (gol, plt, pur, tmt, to);</p>
                        <p>исходная точка (<b>frm, plf,
tmt</b>);</p>
                        <p>отрезки (<b>dur, fmt</b>).</p>
                        <p>Отношение <b>scn – </b>это
отношение виртуального места, но почему тогда нет отношения виртуального
объекта (<i>бороться с грехом</i>) или
виртуального агента (<i>пришла одна мысль</i>)?</p>
                        <p>Отношения <b>via </b>(маршрут)
и <b>per </b>(периодичность) – очень
хорошее новое предложение. Мы надеемся, что эти отношения обязательно войдут в
будущие системы автоматической обработки текста.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" cellspacing="0" cellpadding="0">
                          <tr>
                            <td width="20"><a name="2-7"></a></td>
                            <td class="titleblack">Система ФРАП</td>
                            <td align="right"><a href="#top" class="titleblack" title="наверх">^</a></td>
                          </tr>
                        </table>
                        <p>Система ФРАП (французско-русского автоматического перевода) была
разработана коллективом лаборатории машинного перевода Всесоюзного центра
переводов совместно с коллективом лаборатории машинного перевода МГПИИЯ им М.
Тореза. Общее описание системы можно получить в статье Леонтьева[1986].</p>
                        <p>Система ФРАП была реализована в двух версия: ФРАП1 (1976-1980) и
ФРАП2(1980-1986). В системе ФРАП1 устойчиво работал только
грамматизированный  подстрочник, а  синтаксический и семантический компоненты
работали в автономном режиме, между собой они не были состыкованы.  В системе ФРАП2 был полностью реализован
синтаксический компонент и начат семантический компонент.  Устойчивый перевод осуществлялся на
синтаксическом уровне, поскольку семантический анализатор не был закончен, и
семантический словарь содержал всего 1000 входов. Однако именно семантическая
часть ФРАП2 представляет собой интересную попытку использовать смысловые
механизмы для машинного перевода. В каком-то смысле,  система Диалинг, с которой автор данной диссертации связывает все
свои достижения,  является развитием и
продолжение системы ФРАП2.</p>
                        <p>Система ФРАП1-2 обладала особой информационно-переводческой
моделью, которая, как нам кажется, достаточно продуктивна. Компоненты,
составляющие переводческую модель, - лингвистические процессоры, которые друг
за другом обрабатывают входной текст. Вход одного процессора является выходом
другого. Выделяются следующие компоненты:</p>
                        <ul>
                          <li>	Графематический анализ.  Выделение слов, цифровых комплексов, формул и т.д.</li>
                          <li>
                          	Морфологический анализ. Построение морфологической интерпретации слов входного текста.</li>
                          <li>
	Синтаксический анализ. Построение дерева зависимостей всего предложения.</li>
                          <li>
	Семантический анализ. Построение семантического графа текста.</li>
                          <li>
	Информационный анализ. Соотнесение в семантического графа  с внешними базами данных.</li>
                        </ul>
                        <p>Для каждого уровня разрабатывался свой язык представления.
Язык представления, как полагается, состоял из констант  и правила их комбинирования. На
графематическом уровне константами были графематические дескрипторы (ЛЕ –
лексема, ЦК – цифровой комплекс и т.д.) На морфологическом уровне – граммемы (<b>рд</b> – родительный падеж, <b>мн</b> 
-множественное число).  На
синтаксическом – названия отношений (<b>suj</b> – отношение между подлежащим и сказуемым, <b>circ</b> 
- обстоятельство). О других уровнях будет сказано ниже.</p>
                        <p>С каждого уровня представления можно сделать переход к такому же
представлению на другом естественном языке (трансфер),  что позволяет осуществлять перевод, даже
если &quot;глубокие&quot; (семантический и информационный) анализаторы не смогли
обработать текст. Основой для построения уровней служили результаты работы
предыдущих этапов, но, что важно, последующие анализаторы также могли улучшить
представление предыдущих. Например,  для
какого-то предложения синтаксический анализатор не смог построить полного
дерева зависимостей, тогда, возможно, семантический анализатор сможет
спроектировать им построенный семантический граф на синтаксис.</p>
                        <p>Такой многоуровневый подход позволяет предложить критерии оценки
систем машинного перевода. Разработчики ФРАП (Леонтьева et al[1980] ) показали,
что  для достижения <b>адекватности
перевода </b>(равенство по смыслу 
входному тексту) и <b>грамматической правильности выходной фразы</b>
необходимо присутствие всех пяти этапов, причем адекватность перевода  можно гарантировать только после работы
&quot;глубоких&quot; анализаторов. Таким образом, критерии оценки систем машинного
перевода сводятся к оценке проработанности отдельных уровней представления.</p>
                        <p>Перейдем теперь к описанию семантического представления системы
ФРАП.</p>
                        <p>Семантика системы ФРАП состоит из двух частей. Первая -
семантический язык и аппарат, куда входят смысловые отношения (СО) и
семантические характеристики (СХ), 
понятие валентной структуры и формализм написания словарных статей.
Вторая - алгоритмическое использование семантического аппарата в тексте:
интерпретация синтаксического представления (СинП),  построение и проверка семантических узлов(СемУ), общая оценка
семантического представления (СемП). За исключением тех замечаний, о которых
будет говориться ниже, первая часть семантики ФРАП была полностью  построена. Вторая же часть просто не была до
конца спроектирована:  в ней не было
последнего этапа, который бы контролировал СемП общими структурными законами,
а  можно было говорить только о
локальной правильности валентных структур [<a name="p9" href="#pp9">9</a>].</p>
                        <p>Семантический аппарат системы ФРАП был потом использован в системах
ПОЛИТЕКСТ (Леонтьева [1995]), например, в Русском общесемантическом
словаре(РОСС)( Леонтьева[1997]) , из которого, собственно, был взят весь
иллюстративный материал третьей главы данной диссертации. </p>
                        <p>В центре семантического аппарата ФРАП (первая часть семантики)
находятся два перечня: семантических характеристик (СХ) и смысловых отношений
(СО).  Используется минимальное
количество семантических характеристик: ВЕЩВО(&quot;вещество&quot;),
ИЗМ(&quot;изменение&quot;), 
ИНТЕЛ(&quot;интеллектуальность&quot;), ИНФ(&quot;информация&quot;) и т.д.; слова
характеризуются по признаку принадлежности к одному или нескольким классам. СХ
обеспечивают проверку семантического согласования при интерпретации связей в
тексте. Никаких жестких критериев составления перечня СХ не существует.
Перечень не однороден: некоторые СХ можно условно назвать признаками, а другие
объектами. Например, ВОСПР (&quot;слышать&quot;, &quot;видеть&quot;), ИНТЕЛ (&quot;изучать&quot;, &quot;решать&quot;),
ХОР (&quot;взаимопомощь&quot;, &quot;мужество&quot;), ГОС (&quot;республика&quot;, &quot;министерство&quot;) и т.д. –
заведомо СХ-признаки, а НОСИНФ (&quot;книга&quot;, &quot;газета&quot;), УСТР (&quot;компьютер&quot;,
&quot;автомобиль&quot;), ДОЛЖ (&quot;повар&quot;, &quot;партработник&quot; ) - СХ-объекты. Характеризовать
слова можно целыми формулами, составленными из СХ, например,</p>
                        <p>СХ(&quot;компьютер&quot;)=ИНТЕЛ,УСТР [<a name="p10" href="#pp10">10</a>];</p>
                        <p>СХ(&quot;министр&quot;)  =  ГОС, ДОЛЖ.</p>
                        <p>Но даже комбинирования признаков, на самом деле, не хватает:
перечень СХ-объектов заведомо неполон, т.е., его не хватает для описания всего
языка. </p>
                        <p>Если сравнивать систему ФРАП с системой Микрокосмос, то в системе
Микрокосмос СХ-объектам соответствуют концепты онтологии, зависящие от концепта
OBJECT. Таких концептов больше, чем СХ-объектов, но меньше, чем слов,
обозначающих объекты. Всего их около 3000. Системы, в которых число таких
концептов сильно больше или меньше, разработчики Микрокосмоса (Viegas et
al.[1998]) условно называют 
&quot;минималистскими&quot; (например, Conceptual Dependency Theory of R. Schank)  и &quot;максималистскими&quot; (например, WordNet,
Miller et al[1988]). Безусловно, что к минималистскому подходу можно отнести
систему ФРАП. По мнению все тех же разработчиков Микрокосмоса, &quot;минималистский&quot;
подход нельзя довести до промышленного масштаба, а главное, с ним трудно
организовать синтез, который смог бы обрабатывать сложные толкования слов и
порождать предложения на естественном языке.  
</p>
                        <p>Мы согласны с этой критикой. Наши собственные исследования в
конкретных предметных областях (географическая и компьютерная) показали, что
перечень СХ-объектов  не полон. В
географической области пришлось вводить СХ ВОДН(озеро, река) и АДМ(город,
район), в компьютерной КЛАВИША (Delete, CapsLock, Ctrl), ПРОГР(симулятор,
драйвер, операционная система, редактор). Все они выполняли роль селективных
ограничений и были необходимы для построения СемП. Таким образом, стало ясно,
что перечень СХ-объектов не должен состоять только из 20 констант(&quot;минималистский&quot;) -  его размер должен быть на порядок больше.</p>
                        <p>Если СХ-объекты относятся в основном к номинативной лексике, то
СХ-признаки более разнородны. СХ ВОСПР,ИЗМ,ДВИЖ, КОММУНИК, ИНТЕЛ – глагольные
характеристики,а АБСТР, ВРЕД, ХОР, ЭМОЦ, МЕСТОИМ, СОБИР – общие.
Алгоритмическое использование глагольных характеристик очевидно, поскольку
похожие классификации русских глаголов обозначаются во многих исследованиях
(например, Апресян[1967]). За каждым глагольным СХ-признаком стоят конкретные
синтаксические и семантические преобразования.</p>
                        <p>Второй класс СХ-признаков представляет область &quot;чистой&quot; семантики,
поскольку эти СХ фактически не используются как селективные ограничения, а
скорее являются часть смысла слова. Две из них ХОР и ВРЕД равны по смыслу
лексическим функциям Bon и AntiBon (Мельчук [1974]), поэтому в последнее время
стали ими заменяться. Другие общие СХ-признаки (АБСТР (<i>модель</i>, <i>план</i>, <i>структура</i>, <i>тенденция</i>), МЕСТОИМ (<i>проблема</i>,
<i>вопрос</i>, <i>намерение</i>), ЭМОЦ (<i>мизерный</i>,
<i>могучий</i>, <i>несчастный</i>), СОБИР (<i>библиотека</i>,
<i>молодежь</i>, <i>группа</i>) ) вызывают наибольшую трудность у  составителей словаря, что объясняет наибольший процент ошибок при
приписывании этих СХ. Таким образом, ввиду алгоритмической безосновательности
не все общие СХ-признаки были перенесены в систему Диалинг.</p>
                        <p>Теперь коротко охарактеризуем перечень семантических отношений (СО)
или глубинных падежей, открытие которых обычно приписывается Ч.Филмору (Fillmore
[1968]). В том или ином виде основное ядро отношений системы ФРАП (АГЕНТ, ИДЕНТ
(идентификатор), ПРИНАДЛ(принадлежность), АДР (адресат), СУБ (субъект, ОБ
(объект), ПАЦИЕН (пациенс), СОДЕРЖ (содержание), МОДЛ (модальность), КОН-Т
(конечная точка), ИСХ-Т (исходная точка), СРЕДСТВО, ОГРН(ограничение), КОЛИЧ
(количество) и т.д.)  уже давно является
частью всеобщего лингвистического аппарата. С похожими отношениями работают
многие исследователи (Апресян[1995], Леонтьева[1998], Падучева[1998] и мн.
другие). Эти отношения, входящие в основное ядро, наиболее часты в словаре РОСС
(80 процентов), тогда как  существуют
довольно много отношений, вклад которых ничтожен. Именно такие низкочастотные
&quot;карлики&quot; были убраны в системе ДИАЛИНГ и заменены на более общие отношения по
схемам, часть которых приведена в Приложении 1.</p>
                        <p>&nbsp;</p>
                        <p>&nbsp;</p>
                        <p>[<a name="pp1" href="#p1">1</a>] Работа
опубликована в сборнике &quot;Семиотика и информатика&quot;. Выпуск 35. 1997.</p>
                        <p>[<a name="pp2" href="#p2">2</a>] Именно так
называют заключительную структуру авторы системы, хотя мы, повторяю, назвали бы
ее первично семантической.</p>
                        <p>[<a name="pp3" href="#p3">3</a>] Возможный
мир определяется координатами типа &lt;текущее время,  место, говорящий и т.д.&gt;.</p>
                        <p>[<a name="pp4" href="#p4">4</a>] Например,  принцип может формулироваться
так: &quot;Смысл выражения получается с помощью некоторой функции из смылов его
синтаксических составляющих и интуиции говорящего&quot;.</p>
                        <p>[<a name="pp5" href="#p5">5</a>] Ясно, что,
раз уже аргументы типа свободного обстоятельства относятся ко всей ситуцации,
они никогда не входят в  аргументные
структуры конкретных слов.</p>
                        <p>[<a name="pp6" href="#p6">6</a>] Например,
движение левой ноги обычно явлется логической частью ходьбы. Логический порядок
никак не связывает события по времени.</p>
                        <p>[<a name="pp7" href="#p7">7</a>] Например,
после нажатия курка из ствола вылетает пуля.</p>
                        <p>[<a name="pp8" href="#p8">8</a>] Два кортежа
Х и Y из некоторых Ri и Rj обозначают один временной отрезок, если: 1. они
относятся к одному и тому же месту текста; 2 либо связаны анафорическими связями
с кортежами, которые относятся к одному и тому же месту текста.</p>
                        <p>[<a name="pp9" href="#p9">9</a>] Это
приводило к тому, что вопрос о выборе нужного номера значения в словаре вообще
никак нельзя было решить.</p>
                        <p>[<a name="pp10" href="#p10">10</a>] Запятая
здесь обозначает конъюнкцию.</p>
                        <p>&nbsp;</p>
                        <p>[<a name="pp11" href="#p11">11</a>] Нужно заметить, что экспоненциальный взрыв может возникнуть только теоретически,  поскольку для этого нужно, чтобы первая фаза алгоритма породила бы все возможные полные деревья предложений, а вторая фаза (пост-процессинг) вынуждена была бы перебирать все эти деревья. В реальности же грамматики для любых естественных языков никогда не порождают множества всех возможных деревьев. См. подробнее об этом дискуссию с Сергеем Протасовым в гостевой книге на сайте www.aot.ru.</p>
                        <p>&nbsp;</p>
                        <table width="720" border="0" align="center" cellpadding="0" cellspacing="0" bgcolor="#000000">
                          <tr>
                            <td height="2"><img src="../../images/transparent.gif" width="1" height="2"></td>
                          </tr>
                        </table>
                        <p align="center"><font size="-1" face="Arial, Helvetica, sans-serif"><a href="/index.html">главная</a> <a href="/history.html">о&nbsp;нас</a> <a href="/product.html">продукты</a> <a href="/download.shtml">скачать</a> <a href="/onlinedemo.html">&nbsp;демо</a> <a href="/technology.html"><b>технологии</b></a>  &nbsp; <a href="#top" title="наверх">^</a></font></p></td>
                    </tr>
                  </table></td>
              </tr>
              <tr>
                <td valign="bottom"><table width="750" border="0" cellspacing="0" cellpadding="0">
                    <tr>
                      <td>&nbsp;</td>
                      <td align="right"><table border="0" cellspacing="5" cellpadding="0">
                          <tr> 
                            <td align="right"><font color="#999999" size="1">Разработка 
                              <a href="mailto:simple@mosk.ru"><font color="#999999">DiP</font></a>.<br>
                              &copy; 2003 <a href="http://www.aot.ru/"><font color="#999999">АОТ</font></a>. 
                              Все права защищены.</font></td>
                          </tr>
                        </table></td>
                    </tr>
                  </table></td>
              </tr>
            </table></td>
        </tr>
      </table></td>
    <td bgcolor="#CCCCCC"><img src="../../images/transparent.gif" width="1" height="1"></td>
  </tr>
  <tr>
    <td bgcolor="#CCCCCC"><img src="../../images/transparent.gif" width="1" height="1"></td>
    <td bgcolor="#CCCCCC"><img src="../../images/transparent.gif" width="1" height="1"></td>
  </tr>
</table>
</body>
</html>
